Re: Git Bug report

Fredrik Gustafsson [off-list ref] writes:

On Tue, Oct 04, 2011 at 05:24:03PM -0400, Federico Lucifredi wrote:

quoted

 Found a minor bug in git today - the error message reported is not
correct when trying to access a repo that is not accessible
permission-wise:

quoted

federico@skyplex:/etc$ git log
fatal: Not a git repository (or any of the parent directories): .git

with correct access permissions, everything works as expected.

So if:
.git/ is a directory with not enought permissions.
../.git/ is a directory with enought permissions.

git would today use ../.git. You suggest that git instead would die
because a .git/ exists? (I'm not saying this is wrong or right).

For that matter, if you have .git/ that is a directory but is not a
repository, and ../.git/ that is, the same situation would arise. I do not
think we should die because .git/ is not a git repository. I do not know
if we should even warn about it.