Dzahn has submitted this change and it was merged.

Change subject: Revert "tcpircbot: IPv4 cidr instead of IPv4-mapped IPv6"
......................................................................


Revert "tcpircbot: IPv4 cidr instead of IPv4-mapped IPv6"

This reverts commit 71686b73b30f53a6c0c4c17eff75983877389551.

Change-Id: I772f1dd0cb2bea3f1ad7f128b022962680f4092d
---
M manifests/site.pp
1 file changed, 4 insertions(+), 4 deletions(-)

Approvals:
  jenkins-bot: Verified
  Dzahn: Looks good to me, approved



diff --git a/manifests/site.pp b/manifests/site.pp
index 9d5af67..5d3b587 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -2082,10 +2082,10 @@
                channel  => '#wikimedia-operations',
                password => $passwords::logmsgbot::logmsgbot_password,
                cidr     => [
-                       '10.64.21.123/32',    # vanadium
-                       '10.64.0.196/32',     # tin
-                       '208.80.152.165/32',  # fenari
-                       '127.0.0.1/32',       # loopback
+                       '::ffff:10.64.21.123/128',    # vanadium
+                       '::ffff:10.64.0.196/128',     # tin
+                       '::ffff:208.80.152.165/128',  # fenari
+                       '::ffff:127.0.0.1/128',       # loopback
                ],
        }
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I772f1dd0cb2bea3f1ad7f128b022962680f4092d
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Faidon <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to