[No] (non binding). As a big github user, i expect main repo to not have unofficially supported code. I work with this kind of setup (for CI) and it is a mess at all layers compared to natural PR structure IMHO.
Le sam. 12 oct. 2019 à 02:05, Chuck Caldarale <n82...@gmail.com> a écrit : > 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 > >
