Set package version #20

	name: Set package version
	on:
	workflow_dispatch:
	inputs:
	# release:
	# type: boolean
	# description: "Create GitHub release?"
	# default: false
	version:
	description: Version 'X.X.X'

	jobs:
	do-it:
	runs-on: ubuntu-latest
	permissions: write-all
	steps:
	- uses: actions/checkout@v4
	with:
	token: ${{ secrets.PAT }}
	- name: Update version.txt
	run: echo ${{ inputs.version }} > version.txt

	- name: Update library version
	run: bash ./setversion.sh

	- name: Commit version change
	run: \|
	git config --global user.name 'Daniel Jilg'
	git config --global user.email '[email protected]'
	git commit -am "Update version to ${{ inputs.version }}"
	git tag -a ${{ inputs.version }} -m "${{ inputs.version }}"
	git push
	git push origin ${{ inputs.version }}

Provide feedback