abcd land withdraws the arming before a push that moves an armed pull request's head, and arms the new head only where the merge gate does; the committed pre-push hook refuses a fast-forward it reads as moving that head.

abcd land withdraws the arming before a push that moves an armed pull request's head, and arms the new head only where the merge gate does; the committed pre-push hook refuses a fast-forward it reads as moving that head.

Grounds

• pursued: abcd land keeps an arming to a head the merge gate arms; shown wrong if abcd land pushes over an arming it read and leaves that arming on