Dzahn has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/372211 )
Change subject: admins: add additional admin addshore to contint-admins
......................................................................
admins: add additional admin addshore to contint-admins
Add addshore to contint-admins to be able to make
changes to jenkins configuration (which requires restarts).
Reasoning as requested on ticket.
Bug: T173233
Change-Id: I6cfdfe5eaa214fb7f9923140ab401c1e88c71d1e
---
M modules/admin/data/data.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/11/372211/1
diff --git a/modules/admin/data/data.yaml b/modules/admin/data/data.yaml
index 21c6155..68fd2d6 100644
--- a/modules/admin/data/data.yaml
+++ b/modules/admin/data/data.yaml
@@ -139,7 +139,7 @@
description: users with some sudo permissions on jenkins and nodepool hosts
members: [bd808, cscott, dduvall, demon, krinkle, reedy, marktraceur,
twentyafterfour, zfilipin, thcipriani, legoktm,
- hashar, niedzielski]
+ hashar, niedzielski, addshore]
privileges: ['ALL = (jenkins) NOPASSWD: ALL',
'ALL = (jenkins-slave) NOPASSWD: ALL',
'ALL = (gerritslave) NOPASSWD: ALL',
--
To view, visit https://gerrit.wikimedia.org/r/372211
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I6cfdfe5eaa214fb7f9923140ab401c1e88c71d1e
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
