Rename "master" branch to "main"?

[Paul Eggert]

On 6/30/20 1:16 PM, Carlos O'Donell wrote:

> Just to be clear, which of the two options are you advocating:
> 
> (a) Rename "master" immediately to "main"
> 
> or
> 
> (b) When "master" is frozen for the 2.32 release we rename
>     to "main" along with creating "release/2.32/main" and
>     publish the new branch names to be used by developers
>     when development reopens.

Either's fine with me. I just don't want to wait until the default name is
changed in Git (or in Savannah or GitHub or whatever).

That is, we should change the name at a time that's good for glibc, and not
worry too much about when other projects change. No matter when we change we'll
have to deal with developers running with older or newer versions of Git (or
whatever) and so we'll need to deal with mismatches between the glibc branch
name and the Git default (or whatever).