Rename "master" branch to "main"?

[Andreas Schwab]

On Jan 21 2021, Carlos O'Donell via Libc-alpha wrote:

> I think that transition can be done with redirection because I saw something
> like this done in Fedora, but I haven't reviewed the solution.

The redirection needs to be performed by git, by creating a symbolic ref
on the server.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."