Skip to content

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

Open
dakixr wants to merge 5 commits into
pingdotgg:mainfrom
dakixr:fix/terminal-pr-on-reused-branch
Open

dakixr wants to merge 5 commits into
pingdotgg:mainfrom
dakixr:fix/terminal-pr-on-reused-branch

fix(git): accept an absent head commit under exact optional properties

3f3d8b7
Select commit
Loading
Failed to load commit list.