On Fri, Dec 11, 2015 at 10:26 AM, Junio C Hamano <gits...@pobox.com> 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 g...@github.com: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 g...@example.com:git/git (differences outside host part)
git clone g...@example.com: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 majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
