From f599454f22165c222c34539e63afc3094fe9ff18 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Thu, 15 May 2008 12:11:55 +0100
Subject: [PATCH 1/1] set GIT_DIR when pulling ssh

---
 .mr/base | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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' '../../'
-- 
2.39.5