Fix deadlock on changing to builtin themes #40

	# The fizzyed.it site lives in fizzyedit/website and builds its /app/ from a
	# checkout of THIS repo. When fizzy's app source (or the web shell in web/)
	# changes, or a release is published, ping website to rebuild and redeploy.
	#
	# Cross-repo trigger needs a token with access to fizzyedit/website — the
	# default GITHUB_TOKEN is scoped to this repo only. Create a fine-grained PAT
	# (Contents: read/write on fizzyedit/website) or a GitHub App token and store
	# it as the repo secret WEBSITE_DISPATCH_TOKEN.

	name: Notify website

	on:
	push:
	branches: [main]
	paths:
	- "src/**"
	- "build.zig"
	- "build.zig.zon"
	- "web/**"
	release:
	types: [published]
	workflow_dispatch:

	jobs:
	dispatch:
	runs-on: ubuntu-latest
	steps:
	- name: Trigger fizzyedit/website deploy
	env:
	GH_TOKEN: ${{ secrets.WEBSITE_DISPATCH_TOKEN }}
	run: \|
	curl -fsS -X POST \
	-H "Authorization: Bearer $GH_TOKEN" \
	-H "Accept: application/vnd.github+json" \
	-H "X-GitHub-Api-Version: 2022-11-28" \
	https://api.github.com/repos/fizzyedit/website/dispatches \
	-d '{"event_type":"fizzy-updated"}'

Provide feedback