git rename directory-In a Git repository, how to properly rename a directory?

Question

I think it should work to copy the directory to be renamed to a new directory with desired name, and delete the old directory, and git add,  git commit and push everything. But is this the best way?

Answer 1

This command should do the magic:

$ git mv <old name> <new name>

Additional info, case sensitive renaming —eg. from newname to NewName:

Follow these steps:

$ git mv newname tmp

$ git mv tmp NewName

Remember this has to be followed by commit and push.