[RFC] Case insensitive URL rewrite

Hi,

the "url.<someURL>.insteadOf" git config is case sensitive. I understand that this makes sense on case sensitive file systems. However, URLs are mostly case insensitive:

Consider this:
git clone https://GIThub.com/GIT/GIT
git clone https://github.com/git/git

Both commands will clone the same repository.

Interestingly enough this works, too:
git clone git@GIThub.com:GIT/GIT

What do you think about a flag that makes these rewrites case insensitive? E.g. with the following config flag:

[url "<actual url base>"]
	insteadOf = <other url base>
	ignorecase = true

Thanks,
Lars

On Fri, 11 Dec 2015, Lars Schneider wrote:

the "url.<someURL>.insteadOf" git config is case sensitive. I understand 
that this makes sense on case sensitive file systems. However, URLs are 
mostly case insensitive:

Minor detail here perhaps, but...

I would object to URLs being "mostly case insensitive", even if github 
apparently seems to work that way. The path part of URLs are rarely case 
insensitive since it tends to map to a *nix file system, while the host name 
part is insensitive as section 3.2.2 in RFC 3986 says.

-- 

  / daniel.haxx.se