From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 30 Jun 2025 21:10:36 GMT
Subject: Re: Re [bug] pull --prune could not delete references due to lock file already exists error
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 ;-).