Fix broken links for User Guide #314

	name: pre-commit

	on:
	push:
	branches:
	- develop
	pull_request:
	branches:
	- develop

	concurrency:
	# Probably overly cautious group naming.
	# Commits to develop will cancel each other, but PRs will only cancel
	# commits within the same PR
	group: "${{ github.ref }}-${{ github.head_ref }}-${{ github.workflow }}"
	cancel-in-progress: true

	defaults:
	run:
	shell: bash -l {0}

	jobs:
	pre-commit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v3
	with:
	python-version: '3.x'
	- uses: pre-commit/[email protected]
	with:
	extra_args: --all-files

Provide feedback