TODO：

在终端输入一下命令，删除本地缓存：

git rm --cached file_name
git commit -m "如何在git远程仓库删除一个文件，但是在本地还存在"
git push

这样git仓库的文件就消失了