fix(git): drop a terminal PR once its branch moves past it - #9443

Open

dakixr wants to merge 2 commits into

pingdotgg:mainfrom

dakixr:fix/terminal-pr-on-reused-branch

Commits on Sep 3, 2026

fix(git): drop a terminal PR once its branch moves past it

dakixr
and
claude
committed
f764477
fix(git): match the branch's own ref when comparing the head commit

dakixr
and
claude
committed
2afe53b