Public intake: skip (not reject) when PR merged before check ran - #417

Public intake: skip (not reject) when PR merged before check ran#417

d6g8k5htny-coder merged 6 commits into

maind6g8k5htny-coder/main:mainfrom

grokbot16/intake-merge-race-20261015d6g8k5htny-coder/main:grokbot16/intake-merge-race-20261015Copy head branch name to clipboard