Rename "master" as "main"?

[desruisseaux]

Should we rename the master branch has main? The procedure is described here and seems simple:

[kbevers]

Sounds good to me

[desruisseaux]

Having hear no objection in one week, I will proceed.

[desruisseaux]

Apparently I do not have administrator right for doing this operation. If someone with more power is willing to do the renaming, it should take only one minute (click on the pen on the right side of "master" on this page).

[kbevers]

@desruisseaux you've now got admin rights to this repository. Please fix it yourself and remember that with great power comes great responsibility :-)

[desruisseaux]

Thanks, renaming applied. Local clones can update as below (copied from GitHub instructions):

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a