Re: [RFC] Case insensitive URL rewrite
- From
Stefan Beller <sbeller@google.com>
- Date
- Dec 11, 2015, 18:51 UTC
- 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:
Show 5 quoted lines
> 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.