Le 11/08/2014 21:43, [email protected] a écrit : > That is one thing we should take into account when clearing them out. > We should look at the date of last commit or the date of creation and if > they were in the last 6 months of so possibly leave them there. > And naturally take a backup of the deleted repos and shove it somewhere? > > Addshore
I would simply move them to an attic. Something like: mediawiki/attic/extensions When looking at some empty repos / barely updated ones, I found out on the related MediaWiki page that the development moved to GitHub. In such a case, I guess we can just verify the diff and delete the Gerrit copy after informing the authors. -- Antoine "hashar" Musso _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
