Rename "master" branch to "main"?

[Paul Eggert]

On 6/30/20 11:10 AM, Carlos O'Donell via Libc-alpha wrote:
> My concern is that git, as a project, has not yet changed their default,
> and it would be beneficial to match their default name. I am OK with
> waiting for the git project to make a choice before changing our branch
> name to match.
> 
> Comments?

My preference is to not wait. Waiting won't help solve compatibility issues
(e.g., mismatch between our default's and Git's), as they'll need to be solved
anyway.