[MediaWiki-commits] [Gerrit] add wikidev group to admins::pmacct - change (operations/puppet)

Dzahn has submitted this change and it was merged. Change subject: add wikidev group to admins::pmacct .. add wikidev group to admins::pmacct this new admins group has been added in I49c36df0a but for the account to be actuall

[MediaWiki-commits] [Gerrit] add wikidev group to admins::pmacct - change (operations/puppet)

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/130309 Change subject: add wikidev group to admins::pmacct .. add wikidev group to admins::pmacct Change-Id: Ibddb80200b0d20a33bb4e2422f5775e6ea48a1af