[MediaWiki-commits] [Gerrit] operations/puppet[production]: discovery-stats user should be a member of wikidev group

Gehel has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370530 ) Change subject: discovery-stats user should be a member of wikidev group .. discovery-stats user should be a member of wikidev group

[MediaWiki-commits] [Gerrit] operations/puppet[production]: discovery-stats user should be a member of wikidev group

Gehel has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/370530 ) Change subject: discovery-stats user should be a member of wikidev group .. discovery-stats user should be a member of wikidev group Since Ad