pr merge: retry on mergeability race after close-out
Table of Contents
This page is a capture in the inbox bucket of the product backlog — a pre-sprint idea, not yet pulled into a sprint as a story.
What
A short retry loop (e.g. three attempts, ~3s apart) around the
gh pr merge call in compass pr merge when a close-out commit was
just pushed, so the transient "Pull Request is not mergeable" state
does not fail the command.
Why
Observed merging PR #1100: the close-out push happens immediately before the merge call, and GitHub recomputes mergeability asynchronously — the first merge attempt failed with "Pull Request is not mergeable" and the manual retry succeeded. Unattended flows need the retry built in.