如果文件已经通过git提交了，但是又想删除掉，只删除掉本地的，然后去git push是无效的，需要把远程的数据删掉才可以，所以 ...