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