[MediaWiki-commits] [Gerrit] ores.wikimedia.org instead of ores.wmflabs.org - change (operations/mediawiki-config)

2016-06-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: ores.wikimedia.org instead of ores.wmflabs.org .. ores.wikimedia.org instead of ores.wmflabs.org Change-Id: I56638742be6f1555da648470d02c3ee259f52853 ---

[MediaWiki-commits] [Gerrit] ores.wikimedia.org instead of ores.wmflabs.org - change (operations/mediawiki-config)

2016-06-08 Thread Ladsgroup (Code Review)
Ladsgroup has uploaded a new change for review. https://gerrit.wikimedia.org/r/293419 Change subject: ores.wikimedia.org instead of ores.wmflabs.org .. ores.wikimedia.org instead of ores.wmflabs.org Change-Id: