Stefan Beller <sbeller@xxxxxxxxxx> writes: > On Fri, Dec 11, 2015 at 10:26 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> On the other hand, these two MUST be treated as different by >> default: >> >> git clone https://github.com/GIT/GIT (differences outside host part) >> git clone git@xxxxxxxxxx:GIT/GIT (differences outside host part) > > This is one of the more obvious examples I would think as the protocol is > different. Oh, I should have been more careful; I did not think Lars meant git@xxxxxxxxxx should somehow match https://github.com but a more obvious "git@xxxxxxxxxx:GIT/GIT and git@xxxxxxxxxx:git/git behave the same", and I thought everybody who read it understood the example as such. > What about: > > git clone git@xxxxxxxxxxx:git/git (differences outside host part) > git clone git@xxxxxxxxxxx:GIT/GIT (differences outside host part) > > If the host has a filesystem which respects capitalization, these may be > two different repositories. That is what I meant. Thanks for clarification. -- 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