use a single source for simple-mermaid dependency #5267

	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
	# 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