git 无法保存文件别名

这个问题主要是git的大小写问题。具体解决方案可以看这篇文章，我就搬运一下：
git 大小写问题 踩坑笔记