[MediaWiki-commits] [Gerrit] Tools: Replace references to tools.wmflabs.org - change (operations/puppet)
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)
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