[MediaWiki-commits] [Gerrit] Gerrit: Rename role from ::production to ::server - change (operations/puppet)

2016-07-01 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: Gerrit: Rename role from ::production to ::server .. Gerrit: Rename role from ::production to ::server It's not quite useful outside of production yet, but it's

[MediaWiki-commits] [Gerrit] Gerrit: Rename role from ::production to ::server - change (operations/puppet)

2016-07-01 Thread Chad (Code Review)
Chad has uploaded a new change for review. https://gerrit.wikimedia.org/r/296936 Change subject: Gerrit: Rename role from ::production to ::server .. Gerrit: Rename role from ::production to ::server It's not quite useful out