ci: allow docs-sync to be triggered manually

[evanorti]

Adds workflow_dispatch to the docs-sync workflow.

Why

The push trigger is scoped to paths: docs/**. That means:

• A workflow-only change (like fix(ci): check out the sync branch before transforming docs #16) cannot re-run the sync to prove the fix works.
• A sync PR left stale by a failed run has no way to catch up until someone edits a doc.

cosmos/docs#342 is in that state right now: it carries only the first of two batches of doc fixes, because the run for the second batch hit the bug fixed in #16. main has the correct content, but nothing will push it to the docs site until a docs/** change lands.

Loop guard

Unaffected. On workflow_dispatch there is no head_commit, so contains(github.event.head_commit.message, '[docs-sync]') is false and the job runs normally.

[greptile-apps]

Greptile Summary

Adds a manual dispatch trigger to the documentation synchronization workflow so failed or stale synchronization can be retried without another docs commit.

• Preserves the existing push trigger for docs changes on main.
• Adds an input-free workflow_dispatch trigger and explanatory comments.

Confidence Score: 4/5

The PR should not merge until manual runs are pinned to main so operators cannot sync documentation from an unintended branch.

The new trigger makes non-main refs reachable while the unpinned checkout feeds that selected branch into a workflow that updates or creates a docs-site PR targeting main; the changelog omission is additional non-blocking repository-maintenance feedback.

Files Needing Attention: .github/workflows/docs-sync.yml

Important Files Changed

Filename	Overview
.github/workflows/docs-sync.yml	Adds manual execution, but the source checkout follows the selected dispatch branch rather than reliably syncing main and the required changelog entry is absent.

_{Reviews (1): Last reviewed commit: "ci: allow docs-sync to be triggered manu..." | Re-trigger Greptile}

[greptile-apps]

Manual dispatch uses selected branch

When an operator dispatches this workflow from a non-main branch, the unpinned source checkout transforms that branch's documentation and commits it to a docs-site PR targeting main, causing stale or feature-branch content to enter the sync PR; an older branch without the transform script instead makes the run fail.

[greptile-apps]

Manual trigger lacks changelog entry

This workflow change has no corresponding entry in the Unreleased changelog, despite the repository requirement to document every change, so the release history omits the newly supported manual docs-sync operation.

Context Used: CLAUDE.md (source)

Note: If this suggestion doesn't match your team's coding style, reply to this and let me know. I'll remember it for next time!