Dzahn has submitted this change and it was merged. Change subject: add dbrant to mobile release uploaders ......................................................................
add dbrant to mobile release uploaders RT #7399 requested by Yuvi: "giving him access to releases.wikimedia.org (caesium, with mobileupld group) would also be wonderful." approved by Tomasz request created May 1st Change-Id: Iee4a7af12fa8352c4ecb44f62523f23d0a65d596 --- M manifests/role/releases.pp 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: MaxSem: Looks good to me, but someone else must approve jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/manifests/role/releases.pp b/manifests/role/releases.pp index 62e0604..bbd67d6 100644 --- a/manifests/role/releases.pp +++ b/manifests/role/releases.pp @@ -11,8 +11,12 @@ docroot => 'releases', } + # mobile app releases role::releases::access { 'brion': group => 'mobileupld' } role::releases::access { 'yuvipanda': group => 'mobileupld' } # RT 7068 + role::releases::access { 'dbrant': group => 'mobileupld' } # RT 7399 + + # mediawiki releases 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/132109 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iee4a7af12fa8352c4ecb44f62523f23d0a65d596 Gerrit-PatchSet: 3 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: ArielGlenn <ar...@wikimedia.org> Gerrit-Reviewer: Brion VIBBER <br...@wikimedia.org> Gerrit-Reviewer: Dbrant <dbr...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Jgreen <jgr...@wikimedia.org> Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: Yuvipanda <yuvipa...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits