From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 11 Dec 2015 18:56:38 GMT
Subject: Re: [RFC] Case insensitive URL rewrite
Message-ID: <xmqqzixgervd.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <CAGZ79kZbxFT6_rZUAfUW7Qof8n7mjU53VZb24uGru4LfTfFr=w@mail.gmail.com>

Stefan Beller <sbeller@google.com> writes:

> On Fri, Dec 11, 2015 at 10:26 AM, Junio C Hamano <gitster@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 git@github.com: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@GitHub.com should somehow match https://github.com but a more
obvious "git@github.com:GIT/GIT and git@GitHub.com:git/git behave
the same", and I thought everybody who read it understood the
example as such.

> What about:
>
>      git clone git@example.com:git/git     (differences outside host part)
>      git clone git@example.com: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.