From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 06 Jan 2006 10:00:48 GMT
Subject: Re: use GIT_DIR instead of /var/tmp
Message-ID: <Pine.LNX.4.63.0601061057470.19735@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <20060106093213.GA4268@steel.home>

Hi,

On Fri, 6 Jan 2006, Alex Riesen wrote:

> 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.

In a strict sense, this means write access to $GIT_DIR/refs/heads/. In a 
shared setup, I have repositories where all developers are allowed to 
write to that folder, but only the repo maintainer (yours truly) is 
allowed to write to $GIT_DIR (which effectively means: nobody can write 
an index).

Maybe the safe method would be to introduce $GIT_TMP_DIR, with "/tmp/" 
being the default?

Ciao,
Dscho