chore(daily-regen): enable auto-merge on auto-polish PRs#5955
Merged
MarkusNeusinger merged 1 commit intomainfrom May 7, 2026
Merged
chore(daily-regen): enable auto-merge on auto-polish PRs#5955MarkusNeusinger merged 1 commit intomainfrom
MarkusNeusinger merged 1 commit intomainfrom
Conversation
Polish PRs were sitting open with green CI because the prompt explicitly forbade auto-merge. Switch to `gh pr merge --auto --squash --delete-branch` so they squash-merge once required checks pass and the head is in sync with main. Auto-merge handles the strict status-check policy without needing ADMIN_TOKEN. If enabling auto-merge fails the PR still exists for manual follow-up. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Contributor
There was a problem hiding this comment.
Pull request overview
This PR updates the daily-regen spec-polish automation so that auto-polish PRs enable GitHub auto-merge immediately after creation, reducing manual intervention for PRs that already satisfy required checks.
Changes:
- Capture the created PR URL in
spec-polish-claude.mdand rungh pr merge --auto --squash --delete-branchto enable auto-merge. - Update the polish PR body text and the “What you must NOT do” rules to allow auto-merge while still forbidding
approvedlabeling and any required-check bypass. - Rename the
daily-regenworkflow step to reflect that it opens PRs with auto-merge.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| prompts/workflow-prompts/spec-polish-claude.md | Enables auto-merge for auto-polish PRs and updates the prompt’s guidance accordingly. |
| .github/workflows/daily-regen.yml | Renames the spec polish step to match the new auto-merge behavior. |
Comment on lines
71
to
+102
| @@ -87,10 +87,19 @@ Then open the PR. Use a HEREDOC for the body so multi-line markdown survives: | |||
| - No semantic changes (data shape, plot type, requirements identical) | |||
| - `updated` bumped to current UTC | |||
|
|
|||
| Awaiting human review. The skip-gate in `daily-regen` will prevent | |||
| additional auto-polish PRs for this spec while this one is open. | |||
| Auto-merge enabled — will merge once required checks pass. The | |||
| skip-gate in `daily-regen` prevents stacking polish PRs for this spec. | |||
| EOF | |||
| )" | |||
| )") | |||
|
|
|||
| # Enable auto-merge so the PR squash-merges automatically once required | |||
| # checks (Run Linting / Tests / Frontend Tests) go green and the head | |||
| # is in sync with main. Auto-merge handles the strict status-check | |||
| # policy by updating the branch on our behalf. If auto-merge cannot be | |||
| # enabled (e.g. checks already complete and branch is up-to-date), this | |||
| # is non-fatal — the PR still exists for human follow-up. | |||
| gh pr merge "$PR_URL" --auto --squash --delete-branch || \ | |||
| echo "::warning::Could not enable auto-merge for $PR_URL — leaving PR open for manual handling" | |||
Comment on lines
+99
to
+100
| # enabled (e.g. checks already complete and branch is up-to-date), this | ||
| # is non-fatal — the PR still exists for human follow-up. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
If `gh pr merge --auto` fails for any reason it falls back to a warning — the PR is still open and can be merged manually.
Test plan