Gu 69ec60fdcd feat: auto-close sync PRs when original PR closes
Add cleanup workflow that:
- Triggers when a PR is closed (merged or not)
- Finds the corresponding sync PR (docs-sync-pr-{N})
- Closes it with appropriate message:
  - If merged: "You can still merge sync PR independently"
  - If closed: "Sync will resume if PR reopens"

Prevents orphaned sync PRs cluttering the PR list.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-11-06 14:33:33 -08:00
2025-10-28 05:58:30 -07:00
2025-10-28 05:58:30 -07:00
2025-10-28 05:58:30 -07:00
2025-10-28 05:58:30 -07:00
2025-10-28 05:58:30 -07:00
2025-10-28 05:58:30 -07:00
2025-05-29 11:21:19 +08:00
2025-10-28 05:58:30 -07:00
2025-10-30 08:15:54 -07:00
2025-09-28 18:38:54 +08:00
2025-03-11 15:26:25 +08:00
.
2025-08-17 19:07:46 -07:00
2025-03-11 15:26:25 +08:00
2025-04-24 17:16:59 +08:00
2025-04-02 11:35:34 +08:00
Description
No description provided
CC-BY-4.0 297 MiB
Languages
MDX 94.8%
Python 5%
HTML 0.2%