TagBot #14

	name: TagBot

	# Creates the git tag + GitHub release automatically once a new version is
	# merged into the General registry. Triggered by the Registrator comment, with
	# an hourly fallback dispatch.
	on:
	issue_comment:
	types: [created]
	workflow_dispatch:
	inputs:
	lookback:
	default: '3'
	schedule:
	- cron: '0 * * * *'

	permissions:
	contents: write
	actions: read

	jobs:
	TagBot:
	# Only run on the Registrator trigger comment (or manual/scheduled dispatch),
	# never on arbitrary user comments.
	if: github.event_name == 'workflow_dispatch' \|\| github.event_name == 'schedule' \|\| github.actor == 'JuliaTagBot'
	runs-on: ubuntu-latest
	steps:
	- uses: JuliaRegistries/TagBot@cded32665b34ca0496d3ac10a67d08ddfc726963 # v1
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

Navigation Menu