Change file name capitalization for Git on Mac

Sometimes, depending on the file system, Git may not pick up case changes in filenames. To fix this, do the following:

git mv OldFiLename.thing temp.file
git mv temp.file oldfilename.thing