Merge pull request #2351 from su2code/ad_tool_updates #30

	name: Change Version

	on:
	push:
	branches:
	- 'release_v*'

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@master
	- name: Extract branch name
	shell: bash
	run: echo "##[set-output name=branch;]$(echo ${GITHUB_REF##*/})"
	id: extract_branch
	- name: Change the version number
	run: \|
	SU2_PY/change_version_number.py -v ${GITHUB_REF##*/release_v} -r Harrier -y
	- name: Commit files
	run: \|
	git config --local user.email "action@github.com"
	git config --local user.name "GitHub Action"
	git commit -m "Changing version number to ${GITHUB_REF##*/release_v}" -a
	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: ${{ steps.extract_branch.outputs.branch }}

Provide feedback