[MediaWiki-commits] [Gerrit] operations/puppet[production]: base: add run-no-puppet

2016-09-21 Thread Ema (Code Review)
Ema has submitted this change and it was merged. Change subject: base: add run-no-puppet .. base: add run-no-puppet This is a wrapper script to run a given command avoiding races with puppet. Change-Id: I25e2ad297d38e0578171e0

[MediaWiki-commits] [Gerrit] operations/puppet[production]: base: add run-no-puppet

2016-09-20 Thread Ema (Code Review)
Ema has uploaded a new change for review. https://gerrit.wikimedia.org/r/311671 Change subject: base: add run-no-puppet .. base: add run-no-puppet This is a wrapper script to run a given command avoiding races with puppet. C