Summary of changes pushed
Goal addressed
• Nightly instead of running on unrelated PRs: Done
• Open a dedicated PR (no piggybacking on contributor PR branches): Done
What I changed
• .github/workflows/sync-docs-code-blocks.yml
◦ Removed push triggers; now runs nightly at 02:00 UTC and via manual dispatch.
◦ Replaced “commit and push” with peter-evans/create-pull-request@v7:
▪︎ Opens/updates PR on branch chore/sync-docs-code-blocks.
▪︎ Adds clear title/body and commit message.
◦ Permissions include pull-requests: write.
• .github/workflows/sync-agent-sdk-openapi.yml
◦ Removed push triggers; now runs nightly at 02:00 UTC and via manual dispatch.
◦ Replaced “commit and push” with peter-evans/create-pull-request@v7:
▪︎ Opens/updates PR on branch chore/sync-openapi.
▪︎ Adds clear title/body and commit message.
▪︎ Restricts committed paths to openapi/agent-sdk.json via add-paths.
◦ Permissions include pull-requests: write.
• .openhands/microagents/sdk-guidelines.md
◦ Updated the “Code Synchronization Workflow” section to reflect nightly schedule and PR-based updates (no piggybacking onto other PRs).
Diff scope (concise)
• Only 3 files changed:
◦ .github/workflows/sync-docs-code-blocks.yml
◦ .github/workflows/sync-agent-sdk-openapi.yml
◦ .openhands/microagents/sdk-guidelines.md
Branch pushed
• chore/nightly-sync-prs
• Link to open PR:
https://github.com/OpenHands/docs/pull/new/chore/nightly-sync-prs
Proposed PR metadata
• Title: ci(docs): run sync workflows nightly only and open dedicated PRs
• Body:
◦ Removes push triggers from sync-docs-code-blocks and sync-agent-sdk-openapi to avoid running on unrelated PRs.
◦ Switches both workflows to use peter-evans/create-pull-request to open dedicated, reusable PRs (chore/sync-docs-code-blocks and chore/sync-openapi).
◦ Limits OpenAPI sync scope to openapi/agent-sdk.json.
◦ Updates SDK CI guidelines to reflect the new schedule and PR flow.
◦ Outcome: reduced PR noise, no piggyback commits, and a predictable nightly update cadence.
Checklist
• Nightly schedule only: yes
• Dedicated PRs instead of piggybacking: yes
• Changes limited to scope required: yes
Would you like me to open the PR now using the GitHub API with the title/body above? If so, I’ll proceed immediately.
<sub>
View full conversation</sub>