[MediaWiki-commits] [Gerrit] Tools: Replace references to tools.wmflabs.org - change (operations/puppet)

2015-09-23 Thread coren (Code Review)
coren has submitted this change and it was merged. Change subject: Tools: Replace references to tools.wmflabs.org .. Tools: Replace references to tools.wmflabs.org Bug: T87387 Change-Id: I6efa8ffdcf407d98a10baeca7193af1b90e5361

[MediaWiki-commits] [Gerrit] Tools: Replace references to tools.wmflabs.org - change (operations/puppet)

2015-09-03 Thread Tim Landscheidt (Code Review)
Tim Landscheidt has uploaded a new change for review. https://gerrit.wikimedia.org/r/235941 Change subject: Tools: Replace references to tools.wmflabs.org .. Tools: Replace references to tools.wmflabs.org Bug: T87387 Change-I