Le 16/06/2020 à 10:02, Mark Thomas a écrit :

> Thoughts?

I'd prefer the status-quo and keep "master", I've always understood this
as the 'master record' (I know it might be historically wrong) and I
haven't seen evidences it has ever offended or deterred anyone from

If there is a consensus to change I suggest waiting to see what GitHub
plans to do. The "master" name is a de-facto standard for Git
repositories, and I think we should remain consistent with the new name
that will be popularized by GitHub.

That said, I have a preference for "main".

Emmanuel Bourg

To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org

Reply via email to