Re: [BUG] Git looks for repository in wrong directory
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 3, 2008, 19:28 UTC
- Message-ID
- <7v4p7622er.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <200807030305.17767.bombe@pterodactylus.net>
David ‘Bombe’ Roden <bombe@pterodactylus.net> 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.