From: Nick Mathewson <nickm@torproject.org>
Date: Mon, 10 Jun 2019 13:05:26 +0000 (-0400)
Subject: Add an environment variable to set GIT_PATH in git scripts
X-Git-Tag: tor-0.4.2.1-alpha~180^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0635170cf14c3b622ee9fdf67ea81f4e564dd39d;p=thirdparty%2Ftor.git

Add an environment variable to set GIT_PATH in git scripts
---

diff --git a/scripts/git/git-merge-forward.sh b/scripts/git/git-merge-forward.sh
index 98ad07c9cc..15af6f3dba 100755
--- a/scripts/git/git-merge-forward.sh
+++ b/scripts/git/git-merge-forward.sh
@@ -14,7 +14,7 @@
 #     ... which means that the tor worktrees are in /home/<user>/git/tor-wkt
 
 # Where are all those git repositories?
-GIT_PATH="FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"
+GIT_PATH=${TOR_FULL_GIT_PATH:-"FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"}
 # The tor master git repository directory from which all the worktree have
 # been created.
 TOR_MASTER_NAME="tor"
diff --git a/scripts/git/git-pull-all.sh b/scripts/git/git-pull-all.sh
index ec8511d275..6fe7e59812 100755
--- a/scripts/git/git-pull-all.sh
+++ b/scripts/git/git-pull-all.sh
@@ -14,7 +14,7 @@
 #     ... which means that the tor worktrees are in /home/<user>/git/tor-wkt
 
 # Where are all those git repositories?
-GIT_PATH="FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"
+GIT_PATH=${TOR_FULL_GIT_PATH:-"FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"}
 # The tor master git repository directory from which all the worktree have
 # been created.
 TOR_MASTER_NAME="tor"