branch master updated: hydra: berlin: Allow HTTP to any IP address.

[Tobias Geerinckx-Rice]

This is an automated email from the git hooks/post-receive script.

nckx pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new d3eaabd  hydra: berlin: Allow HTTP to any IP address.
d3eaabd is described below

commit d3eaabdc6a7d39d15589dd6bf1942f7734965bdd
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Sat Nov 20 21:12:19 2021 +0100

    hydra: berlin: Allow HTTP to any IP address.
    
    I wanted to keep this minimal.  It didn't work: Wireguard clients use
    10.0.0.0/8 IPs directly as well.
    
    * hydra/nginx/berlin.scm (%berlin-servers): Match anything ending in a
    digit, which, until the gTLD crowd goes truly bonkers, is an IP address.
    And if it's not, the request wouldn't reach us anyway, right?
    
    Reported by Ludovic Courtès <ludo@gnu.org>.
---
 hydra/nginx/berlin.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hydra/nginx/berlin.scm b/hydra/nginx/berlin.scm
index c9df381..1f4b0be 100644
--- a/hydra/nginx/berlin.scm
+++ b/hydra/nginx/berlin.scm
@@ -820,7 +820,7 @@ PUBLISH-URL."
     (listen '("80"))
     (server-name '("ci.guix.gnu.org"
                   ;; <https://logs.guix.gnu.org/guix/2021-11-20.log#155427>
-                  "141.80.167.131"))
+                  "~[0-9]$"))
     (locations (berlin-locations %publish-url))
     (raw-content
      (list