2018-04-30 23:48 GMT+03:00 Mark Thomas <ma...@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-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org