gitspiegel sync #27030

	name: gitspiegel sync

	# This workflow doesn't do anything, it's only use is to trigger "workflow_run"
	# webhook, that'll be consumed by gitspiegel
	# This way, gitspiegel won't do mirroring, unless this workflow runs,
	# and running the workflow is protected by GitHub

	on:
	pull_request:
	types:
	- opened
	- synchronize
	- unlocked
	- ready_for_review
	- reopened
	# doesn't work as intended, triggers "workflow_run" webhook in any case
	# the job doesn't check out any code, so it is relatively safe to run it on any event
	# pull_request_target:
	# types:
	# - opened
	# - synchronize
	# - unlocked
	# - ready_for_review
	# - reopened
	merge_group:

	# drop all permissions for GITHUB_TOKEN
	permissions: {}

	jobs:
	sync:
	runs-on: ubuntu-latest
	steps:
	- name: Do nothing
	run: echo "let's go"

Provide feedback