[adelie-project] Re: Removing old Git repositories from GitLab

From: Luis Ressel <aranea_at_aixah.de>
Date: Mon, 15 Jul 2019 11:43:25 +0000

I'd say keep patches.git, drop the rest. But if there's any chance some
of the other repos might still be useful to anyone, it wouldn't cost us
anything to keep them all. 100MB isn't a lot of space, and since gitlab
displays archived repos on a separate tab, they don't even clutter our
repo list.

Received on Mon Jul 15 2019 - 11:43:51 UTC

This archive was generated by hypermail 2.4.0 : Sat May 08 2021 - 22:54:40 UTC