Re: [BUG] Git looks for repository in wrong directory

[Junio C Hamano <gitster@xxxxxxxxx>]

David ‘Bombe’ Roden  <bombe@xxxxxxxxxxxxxxxxx> writes:

>> If you have both, you already have found the way to disambiguate ;-)
>
> Yes, _now_ I know. In my opinion it’s very unintuitive and should be changed. 
I'm of mixed mind about this.

I am guessing that the original motivation was that people can have
unversioned "project/" that perhaps is an extract from the tarball and
"project.git/" that is version-controlled by git, and when they want to
talk about the repository they can say either "project.git" and "project"
to get to the git-managed one, even if "project/" directory exists.

It may be an improvement if we checked to see if the original name does
refer to a git repository and use that without falling back.  Even though
I do not personally care so deeply about this, I won't be opposed to such
an improvement.



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