Auto-regenerate in GitHub Actions #4

	name: Sync

	on:
	pull_request:
	# TODO: add periodic + on-demand sync

	permissions:
	contents: read
	pull-requests: write
	checks: write

	jobs:
	sync:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup Go
	uses: actions/setup-go@v4
	with:
	go-version: 1.22.x
	cache-dependency-path: \|
	./go.sum
	_tools/go.sum

	- name: Go version
	run: go version

	- name: Binary dependencies
	run: \|
	bin/deps.sh
	echo "$(pwd)/bin" >> $GITHUB_PATH

	- name: Regenerate Swagger code
	run: \|
	bin/update-swagger-doc.sh
	bin/regenerate.sh

	- name: Commit changes
	run: \|
	today=$(date -u +'%Y-%m-%d')
	git config --global user.email "[email protected]"
	git config --global user.name "FireHydrant Bot"
	git add .
	git commit -m "Regenerate Swagger code ${today}"
	git push -u origin "${today}"
	gh pr create --title "Regenerate Swagger code ${today}" --body "Regenerate Swagger code ${today}" --base main

Provide feedback