Mac OS/X file system is not case sensitive, but Git is. So in order to fix a problem stemming from the capitalization of a file, I have to rename that file, check it in, push the commit, and then do that again with the correct capitalization.