[PATCH] GIT: Honour SHA1_FILE_DIRECTORY env var in git-pull-script

diff --git a/git-pull-script b/git-pull-script
index 5111da98e68f4c3eb44499d20a210966dd445212..0198c4805db7c2b78cd4424634873b0a86ee4107 100755 (executable)
--- a/git-pull-script
+++ b/git-pull-script
@@ -9,7 +9,7 @@ rm -f .git/MERGE_HEAD .git/ORIG_HEAD
 cp .git/HEAD .git/ORIG_HEAD
 
 echo "Getting object database"
-rsync -avz --ignore-existing $merge_repo/objects/. .git/objects/.
+rsync -avz --ignore-existing $merge_repo/objects/. ${SHA1_FILE_DIRECTORY:-.git/objects}/.
 
 echo "Getting remote head"
 rsync -L $merge_repo/HEAD .git/MERGE_HEAD || exit 1