From: martin f. krafft <madduck@madduck.net>
Date: Thu, 15 May 2008 11:11:55 +0000 (+0100)
Subject: set GIT_DIR when pulling ssh
X-Git-Url: https://git.madduck.net/etc/myrepos.git/commitdiff_plain/f599454f22165c222c34539e63afc3094fe9ff18?ds=inline;hp=8c3861bdc4bea906cef52713fadd9504e42d815e

set GIT_DIR when pulling ssh
---

diff --git a/.mr/base b/.mr/base
index df03bd9..b34da74 100644
--- a/.mr/base
+++ b/.mr/base
@@ -3,7 +3,7 @@ checkout = git_fake_bare_checkout 'ssh://git.madduck.net/~/git/pub/etc/mr.git' '
 
 [.fgits/ssh.git]
 checkout = git_fake_bare_checkout 'ssh://git.madduck.net/~/git/pub/etc/ssh.git' 'ssh.git' '../../' && make -C ~/.ssh
-update = git pull "$@" && make -C ~/.ssh
+update = GIT_DIR=$MR_REPO git pull "$@" && make -C ~/.ssh
 
 [.fgits/git.git]
 checkout = git_fake_bare_checkout 'ssh://git.madduck.net/~/git/pub/etc/git.git' 'git.git' '../../'