Am 2019-10-11 um 16:20 schrieb Rémy Maucherat:

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

Should private branches be allowed in the official Tomcat git repository ?
[ ] Yes
[ ] No

I don't like the term 'private' because everytihing I add to the canonical repo is intended to merged into upstream sooner or later. Purely private stuff must be in a fork anyway.

Please redefine.

In that case as depicted by me:

To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to