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

Re: [PATCH] Allow git mv FILENAME Filename when core.ignorecase = true

From
JJJoshua Juran <jjuran@gmail.com>
Date
Apr 14, 2011, 05:39 UTC
Message-ID
<1B0C04AB-0710-43A9-8046-C08593752BDE@gmail.com>
In-Reply-To
<201104100750.29950.tboegi@web.de>
On Apr 9, 2011, at 10:50 PM, Torsten Bögershausen wrote:
> The following discussion assumes, that we are on a
> "case ignoring" file system, and core.ignorecase = true.
Both commas should be removed.
Josh
Previous: Torsten Bögershausen
Message 2 of 2 in “Allow git mv FILENAME Filename when core.ignorecase = true”
  1. Allow git mv FILENAME Filename when core.ignorecase = trueTorsten Bögershausen, Apr 10, 2011
  2. Joshua JuranApr 14, 2011

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.