[MediaWiki-commits] [Gerrit] gerrit: Remove duplicate mirrors - change (operations/puppet)

2014-10-20 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: gerrit: Remove duplicate mirrors .. gerrit: Remove duplicate mirrors These are all obsolete now as these repos have been properly renamed with redirects on GitH

[MediaWiki-commits] [Gerrit] gerrit: Remove duplicate mirrors - change (operations/puppet)

2014-10-16 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/167162 Change subject: gerrit: Remove duplicate mirrors .. gerrit: Remove duplicate mirrors These are all obsolete now as these repos have been prop