Repository navigation

Type the heal push race: a branch that moved under heal leaves by SupersededByAuthorHead - #11109

Merged

briansrls merged 3 commits into

mainfrom

heal-superseded-by-author-arm

Sep 12, 2026

Merged

Type the heal push race: a branch that moved under heal leaves by SupersededByAuthorHead#11109
briansrls merged 3 commits into
mainfrom
heal-superseded-by-author-arm

Commits on Sep 11, 2026
- Type the heal push race: a branch that moved under heal leaves by SupersededByAuthorHead
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  448ab02
- Derive every heal arm token the job prints, and let the row own its own status
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4201833
Commits on Sep 12, 2026
- End the token nickname at its cause, and wall the collision that produced it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  26e3c78