tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Michael Osipov <>
Subject Re: [VOTE] Private branches in the official Tomcat git repository
Date Fri, 11 Oct 2019 14:30:36 GMT
Am 2019-10-11 um 16:20 schrieb Rémy Maucherat:
> Hi,
> 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
> [ ] No

I don't like the term 'private' because everytihing I add to the 
canonical repo is intended to merged into upstream sooner or later. 
Purely private stuff must be in a fork anyway.

Please redefine.

In that case as depicted by me:

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message