Comment by CRConrad

> ...a way any human would balk at (push main to origin, delete .git, re-clone from origin. Merged local branches are gone!)

Ahem... But yeah, then I -- or we, I and my team at the time -- (somewhat, at least rudimentarily) learned git.