Hi, On Fri, 27 Jul 2018, Junio C Hamano wrote:
> Stefan Beller <sbel...@google.com> writes: > > [...] Thanks for the patch! The only thing that was not clear to me from the patch and from the commit message was: the first part *is* case insensitive, right? How does the patch take care of that? Is it relying on `git_config_parse_key()` to do that? If so, I don't see it... > I would still hold the judgment on "all except only this one" > myself. That's a bit too early in my mind. Agreed. I seem to remember that I had a funny problem "in the reverse", where http.<url>.* is case-sensitive, but in an unexpected way: if the URL contains upper-case characters, the <url> part of the config key needs to be downcased, otherwise the setting won't be picked up. Ciao, Dscho
