649

There are various reasons why one might want to rename the default branch of a Git repo from master to main; here’s a quick reminder to myself of how.