[MediaWiki-commits] [Gerrit] operations/puppet[production]: Remove role::salt::minions

2017-09-28 Thread Muehlenhoff (Code Review)
Muehlenhoff has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/381188 ) Change subject: Remove role::salt::minions .. Remove role::salt::minions Change-Id: I0fed8b85de5b29ce8f7233e7dc5b539446d9fc0c -

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Remove role::salt::minions

2017-09-28 Thread Muehlenhoff (Code Review)
Muehlenhoff has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/381188 ) Change subject: Remove role::salt::minions .. Remove role::salt::minions Change-Id: I0fed8b85de5b29ce8f7233e7dc5b539446d9fc0c --- D mod