-
Couldn't load subscription status.
- Fork 2
Chore/nightly sync prs #51
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
- Remove push triggers to avoid running on unrelated PRs - Code blocks sync: use peter-evans/create-pull-request to open chore/sync-docs-code-blocks - OpenAPI sync: use PR flow on chore/sync-openapi and restrict paths Co-authored-by: openhands <openhands@all-hands.dev>
…lows Co-authored-by: openhands <openhands@all-hands.dev>
|
Looks like there are a few issues preventing this PR from being merged!
If you'd like me to help, just leave a comment, like Feel free to include any additional details that might help me get this PR into a better state. You can manage your notification settings |
|
@OpenHands I ran sync-openapi with manual workflow trigger, on this PR branch, and it didn't work Please think deeply and fix this. |
|
I'm on it! enyst can track my progress at all-hands.dev |
…- Checkout main before syncing to avoid PR-context restrictions\n- Use CREATE_PR_TOKEN input for create-pull-request with PAT fallback\n- Keep GITHUB_TOKEN as fallback when PAT not set\n\nCo-authored-by: openhands <openhands@all-hands.dev>
|
Summary of work completed What I changed
Why this fixes your issue
What you may need to do
Checks
Next steps
|
…vans/create-pull-request default token usage (no PAT)\n- Explicitly checkout main so manual runs don’t operate in PR context\n- No other logic changes\n\nCo-authored-by: openhands <openhands@all-hands.dev>
This PR proposes to run the sync workflows on a schedule, rather than mixing in unrelated PRs
Related slack report
Outcome: reduced PR noise, no piggyback commits, and easier reverts.