Rename "master" branch to "main" for glibc 2.35 release.

[Siddhesh Poyarekar]

On 30/01/2022 08:05, Paul Eggert wrote:
> git branch -m master main
> git fetch origin
> git branch -u origin/main main
> git remote set-head origin -a
> git remote prune origin
> 

... and maybe even reject pushes to the master branch with a message 
instructing developers to do the above?

Thanks,
Siddhesh