Как удалить файл, переименуйте другой файл в удаленное имя файла в Git

Question

Моя команда работала над игрой, которая изначально была 16 битами.С тех пор мы упростили до 10 бит.Мое понимание идеальной стратегии Git было бы создать ветку 10Bit и изменить код на 10 бит без изменения имен файлов;однако, мой товарищ по команде сделал копии нескольких файлов с добавлением 10Bit к имени файла без удаления старого файла.Это было несколько коммитов назад, и теперь наша файловая система выглядит следующим образом:

Master.sv    # <--Old 16-bit code, not used in 10-bit
Master10Bit.sv
Master_Constraints.xdc # <-- same
Master_Constraints10Bit.xdc
Slave.sv    #    <-- same
Slave10Bit.sv

Мы хотим вернуться к исходным именам, без части 10Bit.Но если я сделаю

git rm Master.sv
git mv Master10Bit.sv Master.sv

, git не увидит это как простое переименование файла.Вместо этого git status или git diff показывает, что Master10Bit.sv был удален, а Master.sv был значительно изменен.Это не , что случилось, хотя;git diff должен показать, что Master.sv был удален, а Master10Bit.sv был переименован в Master.sv.

Аналогично для всех остальных файлов.

Какой хороший способ сделать это изменение?

Answer 1

Вы должны удалить Master.sv, принять изменения и, наконец, переименовать Master10Bit.sv в Master.sv.

git rm Master.sv
git commit -m "Remove old files"
git mv Master10Bit.sv Master.sv
git commit -m "Rename files"