在大小写不敏感的系统上使用Git注意事项

例如当前在版本控制的文件为：

folder0/test.html
Folder1/test.html

当我把Folder1重命名为folder1时（git并不会发生change），push到远程仓库，发现远程仓库任然保留Folder1文件名。
别人下载下来文件名就不对了。

主要思想就是先移除版本控制，然后重新add。
我的处理办法(命令行)：

• git rm -r --cached Folder1 //移除对Folder1的版本控制，不加--cached会直接把文件一起删除
• git add folder1 // 添加文件
• git commit -m "rename folder" //commit
• git push origin master //push到远程仓库

当前版本控制中的文件:

folder0/test.html
folder1/test.html