Stefan Beller <sbeller@xxxxxxxxxx> writes: >> So "Not a git repository" is the best Git can say. > > fatal: Permission denied while accessing .git directory > > does not imply we're having a git repository here at all, but rather > sounds like "We wanted to check for you if this is a git repository, > but we cannot do that as we lack permissions to do so. > > So git doesn't know if it is inside a repo or not, so the actual error message > "Not a git repository" is wrong. It's just that the current permissions cannot > tell if we're in a repository or not. Fair enough. Patches ;-)? -- 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