Re: main vs master branch siiky 06 Nov 2022 22:51 UTC

I see now. I can't think of anything really useful, but maybe `git
ls-remote` could be just the thing.