Dzahn has submitted this change and it was merged.
Change subject: Revert "add ironholds to role::analytics::users (RT #5831)"
......................................................................
Revert "add ironholds to role::analytics::users (RT #5831)"
This reverts commit 80941292acedaa88ecb0fbe247626ef75b0da017.
Change-Id: I5385d3673bc8c540320d2c9a88cf96fc2ba7630e
---
M manifests/role/analytics.pp
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/role/analytics.pp b/manifests/role/analytics.pp
index 971d9ed..aa9382a 100644
--- a/manifests/role/analytics.pp
+++ b/manifests/role/analytics.pp
@@ -73,8 +73,7 @@
accounts::halfak, # RT 5233
accounts::abaso, # RT 5273
accounts::qchris, # RT 5403
- accounts::tnegrin, # RT 5391
- accounts::ironholds # RT 5831
+ accounts::tnegrin # RT 5391
# add Analytics team members to the stats group so they can
# access data group owned by 'stats'.
--
To view, visit https://gerrit.wikimedia.org/r/86667
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5385d3673bc8c540320d2c9a88cf96fc2ba7630e
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
