David ‘Bombe’ Roden [off-list ref] writes:
quoted
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.