Re: We did it anyway...
> I find myself on the git cli quite a bit and typing "git checkout main" rather than "git checkout master" is just a smidge more convenient.
What is far far less convenient, however, is that if one has to deal with a lot of repositories from various eras and sources, one now has to remember what the "main" branch is called for every repository. It could be `master`, it could be `main`, it could be `meister`, `mester`, `hoved`, or perhaps just `m`.