Skip to content

Auto-merge release PRs once checks pass#15

Merged
bboe merged 1 commit into
mainfrom
auto_merge_release_pr
Jun 7, 2026
Merged

Auto-merge release PRs once checks pass#15
bboe merged 1 commit into
mainfrom
auto_merge_release_pr

Conversation

@bboe

@bboe bboe commented Jun 7, 2026

Copy link
Copy Markdown
Member

Merging the release PR is mechanical; the human gate for shipping is
publishing the draft release that tag_release creates. The App enables
GitHub auto-merge (merge commit, preserving the message pattern
tag_release matches), so the PR lands when required status checks
pass. Requires the repo setting 'Allow auto-merge'.

Merging the release PR is mechanical; the human gate for shipping is
publishing the draft release that tag_release creates. The App enables
GitHub auto-merge (merge commit, preserving the message pattern
tag_release matches), so the PR lands when required status checks
pass. Requires the repo setting 'Allow auto-merge'.
@bboe bboe merged commit 1149a76 into main Jun 7, 2026
2 checks passed
@bboe bboe deleted the auto_merge_release_pr branch June 7, 2026 18:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant