Re: Re [bug] pull --prune could not delete references due to lock file already exists error

From: Chris Torek <chris.torek@gmail.com>
Date: Jul 2, 2025, 04:50 UTC
Message-ID: <CAPx1Gveenh075k5W-KAKnyJKfdzMNL0iry-043mLB8rKZ_2wuQ@mail.gmail.com>
In-Reply-To: <aGKdICvmKlumU0ru@fruit.crustytoothpaste.net>

On Mon, Jun 30, 2025 at 7:21 AM brian m. carlson <sandals@crustytoothpaste.net> wrote: [regarding]

> > +                             if (ignore_case && prev && !strcasecmp(ref->next, prev))
> This won't work in the general case, since the two refs that match case
> insensitively aren't guaranteed to be adjacent.

Also worth mention: it's not just case-folding that matters.

On OS X (Macs), path names get "normalized" so that the names

   s c h combining-umlaut o n

and

   s c h umlaut-o n

refer to the *same* file or directory. On a typical Linux/Unix FS, they differ.

(I don't know what Windows does!)

So, if you have a "folder-full" of "pretty" German refnames, some spelled one way and some another, well...

(It's not clear to me what, if anything, Git should attempt to do here.)

Chris