tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Chuck Caldarale <>
Subject Re: [VOTE] Private branches in the official Tomcat git repository
Date Sat, 12 Oct 2019 00:05:20 GMT
On Oct 11, 2019, at 09:20, Rémy Maucherat <> 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:
For additional commands, e-mail:

View raw message