Commit case-sensitive filename changes in git

https://stackoverflow.com/a/20907647/11284792