[RFC] Case insensitive URL rewrite

Hi, the "url..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

Re: [RFC] Case insensitive URL rewrite

On Fri, 11 Dec 2015, Lars Schneider wrote: the "url..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

Re: [RFC] Case insensitive URL rewrite

On Fri, Dec 11, 2015 at 10:26:41AM -0800, Junio C Hamano wrote: > Lars Schneider writes: > > > What do you think about a flag that makes these rewrites case insensitive? > > E.g. with the following config flag: > > > > [url ""] > > insteadOf = > > ignorecase

Re: [RFC] Case insensitive URL rewrite

Stefan Beller writes: > On Fri, Dec 11, 2015 at 10:26 AM, Junio C Hamano 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

Re: [RFC] Case insensitive URL rewrite

Lars Schneider writes: > What do you think about a flag that makes these rewrites case insensitive? > E.g. with the following config flag: > > [url ""] > insteadOf = > ignorecase = true I am with Daniel on this. It is perfectly fine to consider these two

Re: [RFC] Case insensitive URL rewrite

On Fri, Dec 11, 2015 at 10:26 AM, Junio C Hamano 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 g...@github.com:GIT/GIT (differences outside host