Я случайно использовал mv для переименования файла, который находился под git. Я переименовал файл от нижнего регистра до верхнего регистра, сохраняя его имя.
mv abc.java ABC.java
Я также внес изменения и передал файл после этого.
Как сделать фактическое переименование git этого файла? git bash, похоже, не понимает разницу между ABC.java и abc.java.
Я не уверен, что изменилось на master (другими), но после перехода к ветке я больше не могу зафиксировать свои изменения в файле. Он говорит, что старый индекс файла все еще существует.
$git commit -m "переименован в верхний регистр" ABC.java фатальный: не будет добавлять псевдоним файла 'dir1/ABC.java' ('dir1/abc.java' уже существует в индексе)
Когда я выполняю git статус, он показывает переименованные файлы, но не позволяет мне переименовывать файлы. Если я попытаюсь удалить abc.java(который на самом деле не присутствует хотя бы локально), снова (я думаю, из-за нечувствительности к регистру) git удаляет новый.
Если я клонирую новое репо из этого, репо все еще вытаскивает файлы со старым именем (abc.java), но все мои изменения до тех пор, пока в нем не появятся последние неудачные.