Dzahn has submitted this change and it was merged.
Change subject: fix Yuvi's user name in role for mobile releases
......................................................................
fix Yuvi's user name in role for mobile releases
Yuvi should have access to caesium to upload
mobile releases but, as opposed to Brion, he did
not get membership in the "mobileupld" group so
he could not upload.
this is because his username is "yuvipanda" while
the class name is "ypanda".
@caesium:
id yuvipanda
uid=630(yuvipanda) gid=500(wikidev) groups=500(wikidev)
id ypanda
id: ypanda: No such user
id brion
uid=500(brion) gid=500(wikidev) groups=500(wikidev),1002(mobileupld)
Change-Id: Ic0147a4ebcbd88c6920ec509fb73302ae78b3e11
---
M manifests/role/releases.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/role/releases.pp b/manifests/role/releases.pp
index e249092..5628db9 100644
--- a/manifests/role/releases.pp
+++ b/manifests/role/releases.pp
@@ -12,7 +12,7 @@
}
role::releases::access { 'brion': group => 'mobileupld' }
- role::releases::access { 'ypanda': group => 'mobileupld' } # RT 7068
+ role::releases::access { 'yuvipanda': group => 'mobileupld' } # RT 7068
role::releases::access { 'csteipp': group => 'mwupld' }
role::releases::access { 'hashar': group => 'mwupld' } # RT 6861
role::releases::access { 'mah': group => 'mwupld' } # RT 6861
--
To view, visit https://gerrit.wikimedia.org/r/130577
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic0147a4ebcbd88c6920ec509fb73302ae78b3e11
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
