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