Merge Queue Or Shadow Branch
Order:
- Use GitHub merge queue when enabled and practical.
- Otherwise reset
integration/codextoorigin/main. - Merge the candidate head into
integration/codex. - Run Captain verification.
- Merge the original PR only with expected head SHA match.