Change primary branch name from master to main

[iay]

No description provided.

[iay]

This is done. Here are the required steps:

On a clone:

$ git branch -m master main
$ git push -u origin main

On GitLab/GitHub:

• Set the default branch to main.
• Look at protected branches. If master was protected, protect main in the same way and then unprotect master.
• Delete master branch.

Back at the clone:

$ git fetch --prune
$ git remote set-head origin -a

On any secondary clone:

$ git fetch --prune
$ git checkout main