Dzahn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/221016
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(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/16/221016/1
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: newchange
Gerrit-Change-Id: I743b252298116a0860e91fe12f596d3015b60f90
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
