How to rename a directory when using Git

This website has the best discussion I’ve found on how to rename a directory in Git.

Note that if you need to update text in many files, my article on how to use the Unix sed command to edit many files in place may be helpful at this time.