02/02: pull: Add GUIX_PULL_URL environment variable.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit cca6941feed56b6bcd767c2619b99cd619e91f0c
Author: Oleg Pykhalov <address@hidden>
Date:   Wed Oct 4 12:01:41 2017 +0300

    pull: Add GUIX_PULL_URL environment variable.
    
    * guix/scripts/pull.scm (%repository-url): Add GUIX_PULL_URL environment
      variable.
    * doc/guix.texi (Invoking guix pull): Mention GUIX_PULL_URL.
    
    Signed-off-by: Ludovic Courtès <address@hidden>
---
 doc/guix.texi         | 4 +++-
 guix/scripts/pull.scm | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index c10fc64..7b5b711 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2532,8 +2532,10 @@ Produce verbose output, writing build logs to the 
standard error output.
 @item address@hidden
 Download Guix from the Git repository at @var{url}.
 
address@hidden GUIX_PULL_URL
 By default, the source is taken from its canonical Git repository at
address@hidden, for the stable branch of Guix.
address@hidden, for the stable branch of Guix.  To use a different source,
+set the @code{GUIX_PULL_URL} environment variable.
 
 @item address@hidden
 Deploy @var{commit}, a valid Git commit ID represented as a hexadecimal
diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm
index b1c87c8..2400198 100644
--- a/guix/scripts/pull.scm
+++ b/guix/scripts/pull.scm
@@ -82,7 +82,7 @@ Install it by running:
                (resolve-interface '(git))))
 
 (define %repository-url
-  "https://git.savannah.gnu.org/git/guix.git";)
+  (or (getenv "GUIX_PULL_URL") "https://git.savannah.gnu.org/git/guix.git";))
 
 
 ;;;