From: Johannes Sixt <j6t@kdbg.org>
Date: Sat, 18 May 2019 16:38:39 GMT
Subject: Re: Git config "ignorecase = true" has issues
Message-ID: <b75455b6-139a-aa6c-c7f6-7c9330e2ac6f@kdbg.org>
In-Reply-To: <trinity-4a160867-2036-4f8a-8363-7bf2e021d840-1558184320864@3c-app-gmx-bs48>

Am 18.05.19 um 14:58 schrieb Ax Da:
> You can rename files like this:
> git mv File.txt file.txt

On a case-insensitive, case-preserving filesystem, a case-only rename
operation is better performed in two steps that do not just change the case:

git mv File.txt  file.txtx
git mv file.txtx file.txt

> git commit
> 
> and Git will record the changes.

-- Hannes