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