Filippo Giunchedi has uploaded a new change for review.
https://gerrit.wikimedia.org/r/124855
Change subject: RT #7243 add filippo to admins::roots
......................................................................
RT #7243 add filippo to admins::roots
Change-Id: I45226234db9e2c62cc2536d9fd77934e1e086ca1
---
M manifests/admins.pp
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/55/124855/1
diff --git a/manifests/admins.pp b/manifests/admins.pp
index 6afa1e3..282852e 100644
--- a/manifests/admins.pp
+++ b/manifests/admins.pp
@@ -3668,6 +3668,7 @@
include accounts::cmjohnson
include accounts::dzahn
include accounts::faidon
+ include accounts::filippo # RT 7243
include accounts::fvassard # disabled
include accounts::gage
include accounts::jeluf # disabled
--
To view, visit https://gerrit.wikimedia.org/r/124855
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I45226234db9e2c62cc2536d9fd77934e1e086ca1
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
