Skip to content

ci: fast-forward main when the bump PR merge is refused - #124

Merged
Larry-Osakwe merged 1 commit into
mainfrom
larry-osakwe/bump-ff-bypass
Jul 20, 2026
Merged

ci: fast-forward main when the bump PR merge is refused#124
Larry-Osakwe merged 1 commit into
mainfrom
larry-osakwe/bump-ff-bypass

Conversation

@Larry-Osakwe

Copy link
Copy Markdown
Collaborator

Twin of keycardai/python-sdk#201: the ruleset bypass covers ref pushes (the app direct-pushes bump commits on go-sdk) but the PR merge API doesn't exercise it (python-sdk PR #200 got base branch policy prohibits the merge). When the direct merge is refused, fast-forward main to the PR head via the refs API (force=false); GitHub marks the PR merged and the tag step proceeds at that SHA. Auto-merge and the recovery pre-check remain as backstops.

🤖 Generated with Claude Code

The ruleset bypass covers ref pushes but the PR merge API does not
exercise it. When the direct merge is refused, fast-forward main to the
PR head via the refs API; GitHub marks the PR merged and the tag step
proceeds at that SHA. Auto-merge stays armed and the recovery pre-check
still backstops both.
@Larry-Osakwe
Larry-Osakwe merged commit 24b672f into main Jul 20, 2026
4 checks passed
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.

2 participants