Re: [PATCH v2 14/16] fsmonitor: support case-insensitive events

From: Junio C Hamano <gitster@pobox.com>
Date: Feb 26, 2024, 21:18 UTC
Message-ID: <xmqqy1b6kjqc.fsf@gitster.g>
In-Reply-To: <b6cfe94a-adcf-04fa-2ed8-dfd4f0fdc77a@jeffhostetler.com>

Jeff Hostetler <git@jeffhostetler.com> writes:

> I'm not happy about this (and no, I haven't had time to measure the
> perf hit we'll take), but right now I'm just worried about the
> correctness -- I've had several reports of stale/incomplete status
> when IDE tools change file/directory case in unexpected ways....

Of course, it is a good discipline, and I fully support the direction, to focus on the correctness first.

$ 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.