From b051f076dbdf849b5d4afe1c90cec15c995775f4 Mon Sep 17 00:00:00 2001
From: evanorti <87997759+evanorti@users.noreply.github.com>
Date: Tue, 25 Aug 2026 12:14:16 -0400
Subject: [PATCH] ci: allow docs-sync to be triggered manually

The push trigger only fires on docs/** changes, so a workflow-only fix cannot
re-run the sync, and a sync PR left stale by a failed run cannot catch up until
someone happens to edit a doc. cosmos/docs#342 is in exactly that state.

The loop guard is unaffected: on workflow_dispatch there is no head_commit, so
contains() is false and the job runs.
---
 .github/workflows/docs-sync.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/docs-sync.yml b/.github/workflows/docs-sync.yml
index 5aa3fed..d91d2b3 100644
--- a/.github/workflows/docs-sync.yml
+++ b/.github/workflows/docs-sync.yml
@@ -11,6 +11,10 @@ on:
       - main
     paths:
       - "docs/**"
+  # Manual trigger. Needed because the push trigger only fires on docs/** changes,
+  # so a workflow-only fix cannot re-run the sync, and a sync PR left stale by a
+  # failed run has no way to catch up until the next docs edit.
+  workflow_dispatch:
 
 # Serialize runs. Two overlapping runs would each check out the same revision of
 # the open sync branch, commit divergently, and the loser's push would be