tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Ian Darwin <...@darwinsys.com>
Subject Re: What to do now
Date Sat, 28 May 2005 23:14:19 GMT
On Sat, May 28, 2005 at 04:43:45PM +0200, Remy Maucherat wrote:
> 
> >I'm assuming that we'll need to do a new 'ci' on all of what once was 
> >jakarta-tomcat*, but did jakarta-servletapi* and jakarta-watchdog* 
> >follow us?

Does it make more sense to "ci" all over again, or to move or copy the
existing repository and thereby preserve the history? (As well as being
a lot faster).  If it's "move or copy", move is also faster :-) and
prevents ppl from getting out from the "stale" repo...

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


Mime
View raw message