Skip to content

git: on external HEAD move, do not abandon old branch#1592

Merged
yuja merged 2 commits intojj-vcs:mainfrom yuja:push-vxwqyknxyqlqMay 11, 2023

Commits

Commits on May 10, 2023