Re: Git Bug report

From: Johannes Sixt <j.sixt@viscovery.net>
Date: Oct 5, 2011, 06:11 UTC
Message-ID: <4E8BF519.8090509@viscovery.net>
In-Reply-To: <1317763443.17036.15.camel@skyplex>

Am 10/4/2011 23:24, schrieb Federico Lucifredi:

Show 9 quoted lines

> Hello Git list,
>  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:
> 
>> 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.

And the correct error message is...?

>> drwx------   8 root root      4096 2011-10-03 16:53 .git

Assuming that you expected something like this:

fatal: .git: permission denied

it is hard to argue that a directory that happens to be named .git, but was sealed by its owner should be assumed to be a git repository, albeit one that we do not have access to. "Not a git repository" is an equally justifyable error message, IMHO.

-- Hannes