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