01/01: berlin: Change Git URL for /manual/devel.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit 3224a86cac3fbaba8861eee74e7ca44af5dde276
Author: Ludovic Courtès <address@hidden>
Date:   Fri Jul 19 10:20:24 2019 +0200

    berlin: Change Git URL for /manual/devel.
    
    * hydra/berlin.scm: Change 'static-web-site-configuration' for
    /srv/guix-manual-devel to use a different URL.
---
 hydra/berlin.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index cf5cb3c..70a917d 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -224,7 +224,13 @@ fastcgi_param PHP_VALUE \"post_max_size = 16M
              ;; Manual for 'master'.
              (service static-web-site-service-type
                       (static-web-site-configuration
-                       (git-url "https://git.savannah.gnu.org/git/guix.git";)
+                       ;; XXX: Use a different URL to work around the fact
+                       ;; that (guix git) would use a same-named checkout
+                       ;; directory for 'master' and for the branch above.
+                       ;; Since both mcron jobs run at the same time, they
+                       ;; would end up using one branch or the other, in a
+                       ;; non-deterministic way.
+                       (git-url "https://git.sv.gnu.org/git/guix.git";)
                        (directory "/srv/guix-manual-devel")
                        (build-file "doc/build.scm")
                       (environment-variables