Rename a directory or file name in a Git repository that has already been pushed.

Git directory or filename rename.md

In a Git repository, how to properly rename a directory/file name already pushed?

Normally, simply renaming a directory or file name does not reflect in the remote repository.

Syntax:

git mv casesensitive tmp
git mv tmp CaseSensitive

Commit the changes and push it. This will update the directory or file name in the remote repository.