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