How to rename files, the git way
Yep.