branch master updated: nginx: berlin: Add a redirect for berlin.guix.info.

[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 6cd4aa1  nginx: berlin: Add a redirect for berlin.guix.info.
6cd4aa1 is described below

commit 6cd4aa1eedc45224f2c00034e824d73f3b5cd924
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Wed Dec 2 22:04:54 2020 +0100

    nginx: berlin: Add a redirect for berlin.guix.info.
    
    * hydra/nginx/berlin.scm (%berlin-servers): Redirect berlin.guix.info to
    ci.guix.gnu.org.
---
 hydra/nginx/berlin.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hydra/nginx/berlin.scm b/hydra/nginx/berlin.scm
index 39a49d9..07900e7 100644
--- a/hydra/nginx/berlin.scm
+++ b/hydra/nginx/berlin.scm
@@ -948,6 +948,7 @@ PUBLISH-URL."
     (ssl-certificate (le "berlin.guixsd.org"))
     (ssl-certificate-key (le "berlin.guixsd.org" 'key))
     (server-name '("berlin.guixsd.org"
+                  "berlin.guix.info"
                    "ci.guix.info"))
     (locations
      (list