Commit case-sensitive filename changes in git
https://stackoverflow.com/a/20907647/11284792
2020-06-19