Le 11/08/2014 21:43, addshorewiki@gmail.com 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.