В этом нет необходимости. Просто переименуйте файл. Git обнаружит переименования независимо от того, использовалось ли git mv
или нет.
Попробуйте: переименуйте его обычным способом, поместите файл под старое и новое имя (или просто выполните git add .
), а затем запустите git status
в консоли, он должен отображаться как переименование, а не как создание и удаление, поэтому история всегда сохраняется.