Skip to content

GitHub auto-merge called immediately after push gets 405 while mergeability is recomputing; race recovery repeats the same mistake - #758

Merged
AdamFrisby merged 1 commit into
mainfrom
codeybox/5f20c523
Nov 8, 2026
Merged

AdamFrisby merged 1 commit into
mainfrom
codeybox/5f20c523

Conversation

@AdamFrisby

Copy link
Copy Markdown
Owner

Automated via CodeyBox — work item 5f20c523b4e24bda963eda9f12cca598

Initiated by CodeyBox operator


Co-Authored-By: CodeyBox noreply@codeybox.invalid
🤖 Generated with CodeyBox

After pushing, poll GET /pulls/{n} until head.sha equals the pushed sha
and mergeable is non-null (bounded 60s settle, hot-reloadable knobs),
merging only when mergeable. A settled false with an unchanged base is a
genuine conflict routed to ReworkingForConflict outside the race-recovery
cap; an unknown mergeable retries the merge call without re-running the
merger. Failure text now carries the actual mergeable/mergeable_state
values and never blames another writer when the base did not move.

CodeyBox-Prompt-Revision: 1
Co-Authored-By: CodeyBox <noreply@codeybox.invalid>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@AdamFrisby
AdamFrisby merged commit 0a47f12 into main Nov 8, 2026
@AdamFrisby
AdamFrisby deleted the codeybox/5f20c523 branch November 8, 2026 09:21
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