Bump readthedocs/actions from 1.2 to 1.5 in the github-actions group … #627

	name: update-pr-references
	on:
	push:
	branches:
	- main

	jobs:
	update_pr_numbers_in_change_fragments:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	- uses: actions/setup-python@42375524e23c412d93fb67b49958b491fce71c38 # v5.4.0
	with:
	python-version: '3.x'
	- name: update any PR numbers in change fragments
	run: \|
	python ./changelog.d/update-pr-refs.py
	if [ "$(git status --porcelain)" = "" ]; then
	echo "no changes"
	else
	git add changelog.d/
	git \
	-c user.name="GitHub Actions" \
	-c user.email="[email protected]" \
	commit -m '(actions) update PR references'
	git push origin
	fi

Provide feedback