Re: [RFC] Case insensitive URL rewrite

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 11, 2015, 18:56 UTC
Message-ID: <xmqqzixgervd.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <CAGZ79kZbxFT6_rZUAfUW7Qof8n7mjU53VZb24uGru4LfTfFr=w@mail.gmail.com>

Stefan Beller <sbeller@google.com> writes:

Show 9 quoted lines

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

Show 7 quoted lines

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