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
