rename main branch to "main"

[ckoven]

Per various news sources (e.g. https://www.marketplace.org/2020/06/17/tech-companies-update-language-to-avoid-offensive-terms/, https://www.bbc.com/news/technology-53050955), github is going to make it easier to change the default branch on all repos to something other than "master", for the obvious reason that that is an offensive word. Let's proceed to make that change (to "main"?) asap once they publish the workflow to do that.

[adrifoster]

Doing this on my repos as well. Here is a good how-to guide for this if anyone wants to do it now for their own (and includes a method to change the default naming convention for new repos).

https://www.hanselman.com/blog/EasilyRenameYourGitDefaultBranchFromMasterToMain.aspx

[glemieux]

This has been prioritized to happen very soon. An email will be sent out with instruction on updating remotes in users's forks of this repo.

[glemieux]

Done!

For reference, here are the commands to update your local master branch to main:

git branch -m master main
git fetch <repo remote name>
git branch -u <repo remote name>/main main
git remote set-head <repo remote name> -a

You can find more discussion of the steps here: #944