Faidon Liambotis has submitted this change and it was merged.
Change subject: realm: remove $all_prefixes
......................................................................
realm: remove $all_prefixes
Unused, obsolete and replaced by network.pp.
Change-Id: Ie3e43ac137d1939dbf30ae5de622a60d18c56924
---
M manifests/realm.pp
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
Faidon Liambotis: Looks good to me, approved
jenkins-bot: Verified
diff --git a/manifests/realm.pp b/manifests/realm.pp
index f719fa8..63fefc3 100644
--- a/manifests/realm.pp
+++ b/manifests/realm.pp
@@ -14,9 +14,6 @@
$projectgroup = "project-$instanceproject"
}
-# TODO: redo this in a much better way
-$all_prefixes = [ "208.80.152.0/22", "91.198.174.0/24", "198.35.26.0/23",
"185.15.56.0/22" ]
-
# Determine the site the server is in
if $::ipaddress_eth0 != undef {
$main_ipaddress = $ipaddress_eth0
--
To view, visit https://gerrit.wikimedia.org/r/141399
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie3e43ac137d1939dbf30ae5de622a60d18c56924
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Faidon Liambotis <fai...@wikimedia.org>
Gerrit-Reviewer: Faidon Liambotis <fai...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
