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.
Cheers,
Luis
Received on Mon Jul 15 2019 - 11:43:51 UTC