From: bill lam <cbill.lam@gmail.com>
Date: Wed, 02 May 2012 23:21:02 GMT
Subject: Re: git pull and GIT_DIR
Message-ID: <20120502232102.GB2609@debian.b2j>
In-Reply-To: <7v62ceiejp.fsf@alter.siamese.dyndns.org>

It is non-bare and /path/to is the working tree.  The git pull was
run inside a shell and $(pwd) is $HOME.  GIT_WORK_TREE is not used.
This let me remember that there were some directories/files checkout
under $HOME that should be under /path/to.  I might recall
incorrectly, but does it mean that it need to use the form

GIT_DIR=/path/to/.git GIT_WORK_TREE=/path/to git pull url

to make it to the samething as

cd /path/to && git pull url

-- 
regards,
====================================================
GPG key 1024D/4434BAB3 2008-08-24
gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3