On March 20, 2007 3:01 PM Alfredo Portes > > On 3/20/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: > > Quoting Alfredo Portes <[EMAIL PROTECTED]>: > > > > > By the way, what should be done with [EMAIL PROTECTED] > > > If we cannot keep it up to date, I think we should remove > > > it, especially now that the problems with sourceforge > > > look like they have been solved. > > > > Ask for the nth times it to be reset to zero. > > Then let the community decide which source is to be the basis > > for future development. Have everyone agrees on a roadmap to > > be followed. > > > > I can do that. But then we cannot duplicate a directory like > last time or we are going to have the disk space problem again. > But should /trunk be removed first?
I think we should *first* merge build-improvements and wh-sandbox to define a new "Silver" /trunk at SourceForge. Delete the old /silver branch as SourceForge. > If Bill agrees, I can ask Ben to repopulate like he did last > time. I don't think we can simply re-population with all the history at SourceForge. The result would likely be too large again. I would prefer to reset to 0 and then simply import the source (minus the history) from the new "Silver" /trunk at SourceForge. > > > What? we did that last time it didn't work? Hmm, out of > > idea :-( > > The nth time should be the lucky one. :-) > Yes, let's do it again. Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
