利用git删除远程仓库内文件的方法

由于本地修改了文件夹大全名大小写的原因，同步到git上并不区分大小写，造成了一些文件同步不了，所以要先把git远程库上文件夹删除掉，然后再重新同步

git rm --cached filename

git commit -m "XXX"

git push origin master



若出现这样的情况，则说明删除成功。