01/02: hydra: berlin: Add *.guix.gnu.org to the nginx 'server-name' fields.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit 9788e1666715fc22b872cb0ef41b14d5d0aca022
Author: Ludovic Courtès <address@hidden>
Date:   Wed May 1 17:53:15 2019 +0200

    hydra: berlin: Add *.guix.gnu.org to the nginx 'server-name' fields.
    
    * hydra/nginx/berlin.scm (%berlin-servers): Add *.guix.gnu.org to the
    'server-name' fields.
---
 hydra/nginx/berlin.scm | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/hydra/nginx/berlin.scm b/hydra/nginx/berlin.scm
index cacd498..9739c30 100644
--- a/hydra/nginx/berlin.scm
+++ b/hydra/nginx/berlin.scm
@@ -194,7 +194,8 @@
    (nginx-server-configuration
     (listen '("80"))
     (server-name '("berlin.guixsd.org"
-                   "ci.guix.info"))
+                   "ci.guix.info"
+                   "ci.guix.gnu.org"))
     (locations %berlin-locations)
     (raw-content
      (list
@@ -219,7 +220,8 @@
    (nginx-server-configuration
     (listen '("80"))
     (server-name '("guix.info"
-                   "www.guix.info"))
+                   "www.guix.info"
+                   "guix.gnu.org"))
     (root "/home/rekado/guix.info")
     ;;(locations TODO) ; TODO
     ;; location = / {
@@ -231,7 +233,8 @@
 
    (nginx-server-configuration
     (listen '("80"))
-    (server-name '("issues.guix.info"))
+    (server-name '("issues.guix.info"
+                   "issues.guix.gnu.org"))
     (root "/home/rekado/mumi/")
     (locations
      (list (nginx-location-configuration
@@ -245,7 +248,8 @@
    (nginx-server-configuration
     (listen '("443 ssl"))
     (server-name '("berlin.guixsd.org"
-                   "ci.guix.info"))
+                   "ci.guix.info"
+                   "ci.guix.gnu.org"))
     (ssl-certificate (le "berlin.guixsd.org"))
     (ssl-certificate-key (le "berlin.guixsd.org" 'key))
     (locations %berlin-locations)
@@ -274,7 +278,8 @@
    (nginx-server-configuration
     (listen '("443 ssl"))
     (server-name '("guix.info"
-                   "www.guix.info"))
+                   "www.guix.info"
+                   "guix.gnu.org"))
     (ssl-certificate (le "guix.info"))
     (ssl-certificate-key (le "guix.info" 'key))
     (root "/home/rekado/guix.info")
@@ -286,7 +291,8 @@
 
    (nginx-server-configuration
     (listen '("443 ssl"))
-    (server-name '("issues.guix.info"))
+    (server-name '("issues.guix.info"
+                   "issues.guix.gnu.org"))
     (ssl-certificate (le "issues.guix.info"))
     (ssl-certificate-key (le "issues.guix.info" 'key))
     (root "/home/rekado/mumi/")