Am 11.10.2019 um 16:20 schrieb Rémy Maucherat:
Hi,
This vote is to regulate the use of branches in the official Tomcat
repository beyond branches that are approved by the community such as
8.5.x and 7.0.x. It is possible to do development in private branches
directly in the official Tomcat repository, as an alternative to using
forks and pull requests.
Should private branches be allowed in the official Tomcat git repository ?
[ ] Yes
[X] No
Regards,
Rainer
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
