[MediaWiki-commits] [Gerrit] mediawiki...deploy[master]: Depool and repool nodes and set the group size to 7

2016-08-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Depool and repool nodes and set the group size to 7 .. Depool and repool nodes and set the group size to 7 During a deploy, we don't want the target nodes

[MediaWiki-commits] [Gerrit] mediawiki...deploy[master]: Depool and repool nodes and set the group size to 7

2016-08-29 Thread Mobrovac (Code Review)
Mobrovac has uploaded a new change for review. https://gerrit.wikimedia.org/r/307351 Change subject: Depool and repool nodes and set the group size to 7 .. Depool and repool nodes and set the group size to 7 During a deploy,