On Oct 11, 2019, at 09:20, Rémy Maucherat <r...@apache.org> wrote:

> 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

I’m not a committer, so my vote doesn’t really count, but I am a long-time 
Tomcat user and occasional contributer (less these days due to work 
priorities). I find the use of personal branches in the public repository to be 
at best annoying.

  - Chuck

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

Reply via email to