Yuvipanda has submitted this change and it was merged.
Change subject: Remove unused group not needed anymore
......................................................................
Remove unused group not needed anymore
Change-Id: Ia2b05266df8370f578c74a459b8e40bb503be81d
---
M modules/admin/data/data.yaml
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
Yuvipanda: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/admin/data/data.yaml b/modules/admin/data/data.yaml
index 4b98483..8807bf2 100644
--- a/modules/admin/data/data.yaml
+++ b/modules/admin/data/data.yaml
@@ -188,10 +188,6 @@
description: office it folk
members: [jkrauska]
privileges: ['ALL = (syslog) NOPASSWD: ALL']
- pdf-qa-users:
- gid: 728
- description: developers on the PDF QA system
- members: [maxsem, anomie, cscott]
mathoid-roots:
gid: 729
description: root rights for mathoid
--
To view, visit https://gerrit.wikimedia.org/r/208568
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia2b05266df8370f578c74a459b8e40bb503be81d
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: MaxSem <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Cscott <[email protected]>
Gerrit-Reviewer: Yuvipanda <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
