This project uses 'main', instead of 'master', for its primary branch.

If you had previously cloned with 'master' as the primary then you should follow these steps to migrate:

1. git checkout master
2. git branch -m master main
3. git fetch
4. git branch --unset-upstream
5. git branch -u origin/main
6. git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/main

These steps are:

1. Go to the master branch
2. Rename master to main locally
3. Get the latest commits from the server
4. Remove the link to origin/master
5. Add a link to origin/main
6. Update the default branch to be origin/main

See Contributing.md for an outline of the other branches we use.

We followed the instructions at https://www.hanselman.com/blog/EasilyRenameYourGitDefaultBranchFromMasterToMain.aspx , which boil down to:

1. git checkout master
2. git fetch origin
3. git branch -m master main
4. git push -u origin main