Skip to content

ci: rebuild on repository_dispatch from product doc repos#4

Closed
andybons wants to merge 1 commit into
mainfrom
dispatch-rebuilds
Closed

ci: rebuild on repository_dispatch from product doc repos#4
andybons wants to merge 1 commit into
mainfrom
dispatch-rebuilds

Conversation

@andybons

Copy link
Copy Markdown
Contributor

What

Adds a repository_dispatch trigger (types: [docs-updated]) to the deploy workflow, alongside the existing push / workflow_dispatch / daily schedule triggers.

Product repos (starting with gatekeeper — see its paired notify-site.yml PR) fire this event when their docs change on main, so the site redeploys within a minute of a docs merge instead of waiting up to 24h for the scheduled rebuild. The daily cron stays as the fallback for when the dispatch token is absent or the event is missed.

No other workflow changes.

Product repos can now fire a docs-updated event to trigger an
immediate rebuild instead of waiting for the daily cron.
@andybons

Copy link
Copy Markdown
Contributor Author

Closing alongside gatekeeper#52 — the daily rebuild cron covers doc-staleness without needing a cross-repo dispatch token. See gatekeeper#52 for the reasoning.

@andybons andybons closed this Jul 15, 2026
@andybons
andybons deleted the dispatch-rebuilds branch July 15, 2026 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant