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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
