Dzahn has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/227997

Change subject: remove multatuli from site.pp
......................................................................

remove multatuli from site.pp

Change-Id: I0b0cef0c5bfd6bc189b9db1078e01305eff88028
---
M manifests/site.pp
1 file changed, 0 insertions(+), 8 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/97/227997/1

diff --git a/manifests/site.pp b/manifests/site.pp
index 8324968..68c778c 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -1676,14 +1676,6 @@
     }
 }
 
-node 'multatuli.wikimedia.org' {
-    interface::add_ip6_mapped { 'main':
-        interface => 'eth0',
-    }
-    include standard
-    include base::firewall
-}
-
 # also see dataset1001
 node 'ms1001.wikimedia.org' {
     $cluster = 'misc'

-- 
To view, visit https://gerrit.wikimedia.org/r/227997
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0b0cef0c5bfd6bc189b9db1078e01305eff88028
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

Reply via email to