On Fri, Oct 22, 2010 at 1:51 AM, Enrico Weigelt <weigelt@xxxxxxxx> wrote: >> Also the "relative to $GIT_DIR" may be confusing. If $GIT_DIR points >> to a file that points to a true repo, then to which one it is >> relative? > > Despite the fact that I doubt the usefulness of an .git file at > all, it IMHO should be interpreted as an kind of userland symlink. I do find .git file useful. I put my worktree in a server where it can be wiped out completely. So I don't want to put my .git there. .git file can be used this case so I don't have to set GIT_DIR/GIT_WORK_TREE every time and my .git is safe elsewhere. -- Duy -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html