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 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
