From: Stefan Beller <sbeller@google.com>
Date: Fri, 11 Dec 2015 18:51:58 GMT
Subject: Re: [RFC] Case insensitive URL rewrite
Message-ID: <CAGZ79kZbxFT6_rZUAfUW7Qof8n7mjU53VZb24uGru4LfTfFr=w@mail.gmail.com>
In-Reply-To: <xmqq7fkkg7tq.fsf@gitster.mtv.corp.google.com>

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