Skip to content

Allow docs snapshot commits to trigger Pages publish; skip only self-publish commits#13

Merged
MikeAlhayek merged 5 commits into
mainfrom
copilot/fix-github-pages-docs-deployment
Jun 17, 2026
Merged

Allow docs snapshot commits to trigger Pages publish; skip only self-publish commits#13
MikeAlhayek merged 5 commits into
mainfrom
copilot/fix-github-pages-docs-deployment

Conversation

Copilot AI commented Jun 16, 2026

Copy link
Copy Markdown
Contributor

Versioned docs snapshots (for example docs: snapshot 1.2 release docs) were committed to main but never published because the deploy job blocked all runs by github-actions[bot]. This change narrows the guard to block only the workflow’s own generated publish commit, so snapshot commits now publish correctly without introducing recursion.

  • Root-cause alignment

    • Removed actor-based suppression from deploy-docs.yml that prevented bot-authored snapshot pushes from running deploy.
  • Deploy trigger guard (narrow + loop-safe)

    • Replaced broad bot exclusion with a commit-message gate that skips only commits starting with docs: publish static site.
    • Kept guard null-safe for push payload variations.
  • Scope

    • Single-file workflow change in .github/workflows/deploy-docs.yml; no docs/source/build logic changes.
jobs:
  publish:
    if: "github.event_name != 'push' || (github.event.head_commit == null || !startsWith(github.event.head_commit.message, 'docs: publish static site'))"

@MikeAlhayek MikeAlhayek marked this pull request as ready for review June 16, 2026 23:36
Copilot AI changed the title [WIP] Fix GitHub Pages docs deployment workflow Allow docs snapshot commits to trigger Pages publish; skip only self-publish commits Jun 16, 2026
Copilot AI requested a review from MikeAlhayek June 16, 2026 23:37
@MikeAlhayek MikeAlhayek merged commit c7ea1a5 into main Jun 17, 2026
3 checks passed
@MikeAlhayek MikeAlhayek deleted the copilot/fix-github-pages-docs-deployment branch June 17, 2026 00:06
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.

2 participants