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