Git rename folder Rename files and folders with git https://www.patrick-wied.at/blog/rename-files-and-folders-with-git