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

From

Junio C Hamano <gitster@pobox.com>

Date

Jun 30, 2025, 21:10 UTC

Message-ID

<xmqq1pr1lyur.fsf@gitster.g>

In-Reply-To

<aGKdICvmKlumU0ru@fruit.crustytoothpaste.net>

"brian m. carlson" <sandals@crustytoothpaste.net> writes:

> Another option is for users on case-insensitive systems to use reftable,
> which won't have the same problems as the file-based backend and will
> preserve case properly.

The more guinea-pigs^Wadopters we have, the merrier we are ;-).