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