git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[RFC] Case insensitive URL rewrite

From
Lars Schneider <larsxschneider@gmail.com>
Date
Dec 11, 2015, 13:45 UTC
Message-ID
<B207EFC1-48DF-4B8F-8373-28A0CB5660B0@gmail.com>
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

Next: Daniel Stenberg
Message 1 of 6 in “[RFC] Case insensitive URL rewrite”
  1. Lars SchneiderDec 11, 2015
  2. Daniel StenbergDec 11, 2015
  3. Junio C HamanoDec 11, 2015
  4. Stefan BellerDec 11, 2015
  5. Junio C HamanoDec 11, 2015
  6. Jeff KingDec 11, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.