[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

Reply via email to