Dzahn has submitted this change and it was merged.
Change subject: Revert "include admins::mortals on osmium, to allow MediaWiki
deployments"
......................................................................
Revert "include admins::mortals on osmium, to allow MediaWiki deployments"
Already there...
This reverts commit 84f88847d230613583d73f6f56bf1862c40490fd.
Change-Id: Ia3cce30c8289e95cb54c24dd9b079cfeee0eb613
---
M manifests/site.pp
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/site.pp b/manifests/site.pp
index 1becc96..c73e024 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -1975,7 +1975,6 @@
include groups::wikidev
include admins::mortals
- include admins::mortals
include hhvm::dev
include mediawiki::sync
--
To view, visit https://gerrit.wikimedia.org/r/132128
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia3cce30c8289e95cb54c24dd9b079cfeee0eb613
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hoo man <h...@online.de>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
