01/01: hydra: berlin: Add ci.guix.info as an alias for berlin.guixsd.org.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit ad34a544c72d696c1fd1f49cc786a5860bc38591
Author: Ricardo Wurmus <address@hidden>
Date:   Tue Dec 4 08:54:41 2018 +0100

    hydra: berlin: Add ci.guix.info as an alias for berlin.guixsd.org.
    
    * hydra/nginx/berlin.conf: Add additional server name ci.guix.info.
---
 hydra/nginx/berlin.conf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hydra/nginx/berlin.conf b/hydra/nginx/berlin.conf
index 31d80c9..882cd70 100644
--- a/hydra/nginx/berlin.conf
+++ b/hydra/nginx/berlin.conf
@@ -87,7 +87,7 @@ http {
 
     server {
         listen       80;
-        server_name  berlin.guixsd.org;
+        server_name  berlin.guixsd.org ci.guix.info;
 
         access_log  /var/log/nginx/http.access.log;
 
@@ -134,7 +134,7 @@ http {
     # HTTPS server.
     server {
         listen       443 ssl;
-        server_name  berlin.guixsd.org;
+        server_name  berlin.guixsd.org ci.guix.info;
 
         ssl_certificate     
/etc/letsencrypt/live/berlin.guixsd.org/fullchain.pem;
         ssl_certificate_key 
/etc/letsencrypt/live/berlin.guixsd.org/privkey.pem;