Dzahn has submitted this change and it was merged.
Change subject: planet: remove role from zirconium
......................................................................
planet: remove role from zirconium
It is moving to planet1001 on ganeti instead.
Bug:T101730
Change-Id: I743b252298116a0860e91fe12f596d3015b60f90
---
M manifests/site.pp
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/site.pp b/manifests/site.pp
index cd0af12..1c9b696 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -2369,7 +2369,6 @@
class { 'base::firewall': }
include standard
- include role::planet
include role::wikimania_scholarships
include role::bugzilla_static
include role::transparency
--
To view, visit https://gerrit.wikimedia.org/r/221016
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I743b252298116a0860e91fe12f596d3015b60f90
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
