[MediaWiki-commits] [Gerrit] integration/config[master]: Set -o pipefail for operations/puppet docker job

2017-06-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/360582 ) Change subject: Set -o pipefail for operations/puppet docker job .. Set -o pipefail for operations/puppet docker job It seems

[MediaWiki-commits] [Gerrit] integration/config[master]: Set -o pipefail for operations/puppet docker job

2017-06-20 Thread Thcipriani (Code Review)
Thcipriani has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/360582 ) Change subject: Set -o pipefail for operations/puppet docker job .. Set -o pipefail for operations/puppet docker job It seems some