tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Konstantin Kolinko <>
Subject Re: [Git migration] Old git repositories
Date Fri, 04 May 2018 09:22:03 GMT
2018-04-30 23:48 GMT+03:00 Mark Thomas <>:
> The current plan is to merge all of the existing branches into a single
> Git repo. This will be mirrored at GitHub under apache/tomcat. This is
> currently used for the svn mirror for trunk only.
> This raises the question what to do with:
> apache/tomcat7
> apache/tomcat8
> apache/tomcat85
> I think there are two options:
> 1. Retain them but make them read-only
> 2. Delete them
> Suggestions for other options welcome.
> I'm actually leaning towards deleting them. [...]

Option 3. Keep repository, but replace it with some
with an instruction on where to look for the code.

A problem that I just stumbled upon:
See comment #17 in

That comment moved discussion from Bugzilla into PR in tomcat70.
If tomcat70 git repository is deleted, that PR and discussion in it
will be lost.

Best regards,
Konstantin Kolinko

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

View raw message