On Tue, Jun 26, 2018 at 11:07:16PM +0200, Emmanuel Bourg wrote: > Le 26/06/2018 à 22:32, Geert Stappers a écrit: > > > The goal is cruft reduction at Salsa > > and prevent that time is lost on deprecated git repositories. > > I don't think there is time lost on deprecated repositories, they just > sit there for future references. I personally like preserving the > history of what we've done in the past, so IMHO repositories shouldn't > be deleted.
Yeah, that makes sense. Any hard objections on updating obsolete repos with a pointer to the new git repository? Groeten Geert Stappers -- Leven en laten leven
