Remove pgr prefix from files #120

	name: clang-tidy check

	on:
	workflow_dispatch:
	pull_request:
	branches-ignore:
	- 'gh-pages'

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	check-changelog:
	name: Check for changelog entry
	runs-on: ubuntu-latest
	env:
	PR_BASE: ${{ github.base_ref }}

	steps:

	- uses: actions/checkout@v4

	- name: Get postgres version
	run: \|
	sudo service postgresql start
	pgver=$(psql --version \| grep -Po '(?<=psql $PostgreSQL$ )[^;]+(?=\.\d+ \()')
	echo "PGVER=${pgver}" >> $GITHUB_ENV
	echo "PGPORT=5432" >> $GITHUB_ENV

	- name: Add PostgreSQL APT repository
	run: \|
	sudo apt-get install curl ca-certificates gnupg
	curl https://www.postgresql.org/media/keys/ACCC4CF8.asc \| sudo apt-key add -
	sudo sh -c 'echo "deb http://apt.postgresql.org/pub/repos/apt/ \
	$(lsb_release -cs)-pgdg main" > /etc/apt/sources.list.d/pgdg.list'

	- name: Install dependencies
	run: \|
	sudo apt-get update
	sudo apt-get install -y \
	libboost-graph-dev \
	postgresql-${PGVER} \
	postgresql-server-dev-${PGVER}

	- name: Configure
	run: \|
	export PATH=/usr/lib/postgresql/${PGVER}/bin:$PATH
	mkdir build
	cd build
	cmake -DPOSTGRESQL_VERSION=${PGVER} -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DWITH_DOC=OFF ..

	- name: Add upstream
	run: \|
	git remote add upstream https://github.com/pgRouting/pgrouting
	git fetch upstream ${PR_BASE}

	- name: do clang-tidy
	run: .github/scripts/tidy-vs-commit.sh "upstream/${PR_BASE}"

Provide feedback