tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Christopher Schultz <ch...@christopherschultz.net>
Subject Re: [VOTE] Private branches in the official Tomcat git repository
Date Fri, 11 Oct 2019 21:00:43 GMT
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Rémy,

On 10/11/19 10:20, Rémy Maucherat wrote:
> 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 [X] No

I don't think it makes any sense to have non-standard branches in the
public git repository.

If you want to make a branch in your own fork, then merge back to one
of the "official" branches, then PR to upstream, that makes sense to me.

But I don't see any need to create additional "public" branches in the
apache/tomcat repo.

- -chris
-----BEGIN PGP SIGNATURE-----
Comment: Using GnuPG with Thunderbird - https://www.enigmail.net/

iQIzBAEBCAAdFiEEMmKgYcQvxMe7tcJcHPApP6U8pFgFAl2g7XsACgkQHPApP6U8
pFijhBAAyDhBffk317kp64U3ILsaNQ12dh3LyGiNP/12D+bGISRlNu7eRnpNFI9W
ig5Acv0mTfO2QhEf9iGjnhZFYcPRabIScIOd5qVSgtKew+9cL7of2HgnOPI8vu2X
IwK/I8v+yevEbUDuUEGQ4Zz4zaZAHi8HvynUklMcPYZzp3haEby2HYe41v/lXexS
qqmPOgHtxJZb+GKHP1NFb6X7Ljh7Q2Zi+1ZE40M7ErJ+b2DhWXIYKrFQhl5ccTAK
J2CnnhcnB7GrIQOll8UqA1qfK0S/APwdYCaZLZ8l0/XDSB8ICnCmTOnYXFBekdro
CGUoGFM5b9EPoGv2DOIOrhhOcj+W1esDw5hwZo2KrhmvGM9us2Le7WBtH0H8g2gS
xgR5lEJ1NLeb7Zj4tOodZAul6dlRP/NR+H4hrY5fdeeEkbXUXiZ+5bzOptIWyqQ2
OrRnqbZvQivcZNGUyebSqDUbhm/WfB/F/xYMEvGRdMlNs6dFXziOOP1z2iDeUxrH
8IUsxx4RW8kouCTYT1KHGQk+xo5hSg0EUuSVOKp8XAUE70sPMJukW9FEsqpDMx03
1bHzw0vS83MiQEYBW8ePmz5976gU0vzBB/2uXnxW+sIsJB5oo8Nb4AodqJHBGsJj
r8upXf9RaOGOjf4J4YyEYkAi+qskzu4F8oIlRysL+8nNAJlVXLA=
=XZWe
-----END PGP SIGNATURE-----

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message