Dzahn has submitted this change and it was merged.
Change subject: promote milimetric from restricted to mortals
......................................................................
promote milimetric from restricted to mortals
RT #5982
Change-Id: I01769710347393a795ed89d9e3a9d29a71abf4a4
---
M manifests/admins.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ottomata: Looks good to me, approved
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/admins.pp b/manifests/admins.pp
index 4486087..c65849e 100644
--- a/manifests/admins.pp
+++ b/manifests/admins.pp
@@ -3198,6 +3198,7 @@
include accounts::maxsem
include accounts::mflaschen
include accounts::mholmquist
+ include accounts::milimetric # promoted per RT 5982
include accounts::mlitn
include accounts::mwalker # promoted per RT 4747
include accounts::neilk # revoked access per RT 2345
@@ -3227,7 +3228,6 @@
include accounts::bastique # access revoked
include accounts::daniel # access revoked
include accounts::dab
- include accounts::milimetric
include accounts::dartar
include accounts::diederik
include accounts::dsc
--
To view, visit https://gerrit.wikimedia.org/r/91067
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I01769710347393a795ed89d9e3a9d29a71abf4a4
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Ottomata <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
