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
