История изменений

Так что всё равно. git mv это просто небольшое удобство, чтобы переименование и обновление индекса делать одной командой. Сам git переименование никак не записывает (просто негде, коммит – лишь текст, ссылка на дерево и немного мета-информации о самом коммите) и использует эвристики для определения его наличия.

Нет. Имеем коммит 0000. Переименовываем файл file0 в file5. Делаем коммит (пусть будет 0001). Смотрим разницу между коммитами 0000 и 0001:

# git diff 0000 0001
# вывод:
diff --git a/file0 b/file5
similarity index 100%
rename from file0
rename to file5

Так что всё равно. git mv это просто небольшое удобство, чтобы переименование и обновление индекса делать одной командой. Сам git переименование никак не записывает (просто негде, коммит – лишь текст, ссылка на дерево и немного мета-информации о самом коммите) и использует эвристики для определения его наличия.

Нет. Имеем коммит 0000. Переименовываем файл file0 в file5. Делаем коомит (пусть будет 0001). Смотрим разницу между коммитами 0000 и 0001:

# git diff 0000 0001
# вывод:
diff --git a/file0 b/file5
similarity index 100%
rename from file0
rename to file5