Как правильно переименовать каталог в репозитории Git?
Я думаю, что это должно работать, чтобы скопировать каталог, который будет переименован в новый каталог с нужным именем, иудалить старый каталог, а такжеgit add, git commit а такжеpush все. Но так ли это лучше?