[MediaWiki-commits] [Gerrit] Repool es1007, pool es1013 for the first time - change (operations/mediawiki-config)

Jcrespo has submitted this change and it was merged. Change subject: Repool es1007, pool es1013 for the first time .. Repool es1007, pool es1013 for the first time After cloning es1007 into es1013 and warming the cache, go

[MediaWiki-commits] [Gerrit] Repool es1007, pool es1013 for the first time - change (operations/mediawiki-config)

Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/235192 Change subject: Repool es1007, pool es1013 for the first time .. Repool es1007, pool es1013 for the first time After cloning es1007 into