tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Konstantin Kolinko <knst.koli...@gmail.com>
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 <markt@apache.org>:
> 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 README.md
with an instruction on where to look for the code.


A problem that I just stumbled upon:
See comment #17 in
https://bz.apache.org/bugzilla/show_bug.cgi?id=43925

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: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message