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 contributing. 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
