[MediaWiki-commits] [Gerrit] Remove several dead domains from redirects - change (operations/puppet)

2015-08-03 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: Remove several dead domains from redirects .. Remove several dead domains from redirects * de-beta.wikipedia.org - //de.wikipedia.org * tp.wikipedia.org

[MediaWiki-commits] [Gerrit] Remove several dead domains from redirects - change (operations/puppet)

2015-07-16 Thread Glaisher (Code Review)
Glaisher has uploaded a new change for review. https://gerrit.wikimedia.org/r/225041 Change subject: Remove several dead domains from redirects .. Remove several dead domains from redirects * de-beta.wikipedia.org -