Stefan Beller <[email protected]> writes: > On Fri, Dec 11, 2015 at 10:26 AM, Junio C Hamano <[email protected]> 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 [email protected]: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 [email protected] should somehow match https://github.com but a more obvious "[email protected]:GIT/GIT and [email protected]:git/git behave the same", and I thought everybody who read it understood the example as such. > What about: > > git clone [email protected]:git/git (differences outside host part) > git clone [email protected]: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 [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
