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

2015-09-02 Thread Jcrespo (Code Review)
Jcrespo has submitted this change and it was merged. Change subject: Repool es1010, pool es1017 for the first time .. Repool es1010, pool es1017 for the first time Repool es1010 with lower wait after restart. Also low, es1017,

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

2015-09-01 Thread Jcrespo (Code Review)
Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/235276 Change subject: Repool es1010, pool es1017 for the first time .. Repool es1010, pool es1017 for the first time Repool es1010 with lower wait