From: Alex Riesen Date: Fri, 06 Jan 2006 09:32:13 GMT Subject: Re: use GIT_DIR instead of /var/tmp Message-ID: <20060106093213.GA4268@steel.home> In-Reply-To: Jon Nelson, Thu, Jan 05, 2006 17:49:36 +0100: > Do you still need write access to $GIT_DIR if $GIT_INDEX_FILE is set to > some place outside of $GIT_DIR? yes, $GIT_DIR/refs/heads/ref-pointed-by-HEAD is updated by git-reset.