update documentation in bumpversion #5

	# This action requires that the branch protection for main are turned off.
	# Documented in https://stackoverflow.com/questions/74128344/github-protected-branch-hook-declined-even-with-allow-force-pushes
	# If you know a way around this I would be happy to apply it.
	name: Update file on PR merge
	on:
	pull_request:
	branches:
	- main
	types: closed

	jobs:
	update_version:
	if: github.event.pull_request.merged == true
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@v3
	with:
	# Fetch full depth, otherwise the last step overwrites the last commit's parent, essentially removing the graph.
	fetch-depth: 0

	- name: GenerateTag
	id: name_tag
	uses: mathieudutour/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	create_annotated_tag: true
	default_bump: patch
	dry_run: true
	tag_prefix: v
	- name: Update version.txt
	run: \|
	echo "character(len=*), parameter :: version=\"${{ steps.name_tag.outputs.new_tag }}\"\n" > version.inc
	- name: Amend the last commit
	run: \|
	git config --global user.email "[email protected]"
	git config --global user.name "OpenRCT2 git bot"
	git commit -a --amend --no-edit
	git push --force-with-lease
	echo "Complete"name: Bump version
	- name: Bump version and push tag
	id: really_tag_version
	uses: mathieudutour/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	create_annotated_tag: true
	default_bump: patch
	dry_run: false
	tag_prefix: v

Provide feedback