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

From: Junio C Hamano <[email-masked]>
Date: Mon, 30 Jun 2025 14:10:36 -0700

"brian m. carlson" <[email-masked]> 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 ;-).