git rm xx/xxx

#1 楼 @SharpX 本地已经删掉了

#2 楼 @xautjzd 然后 push 不就行了

#3 楼 @Teddy 没用，我都 push N 次了

#4 楼 @xautjzd http://stackoverflow.com/questions/9701238/git-how-delete-file-from-remote-repository 看看这个，你是不是本地没 commit

删除文件用 git rm 改文件名用 git mv 使用 git 遇到问题时，git status 一下，通常都会有提示告诉你该怎么做

#6 楼 @libuchao thanks

#2 楼 @xautjzd 本地删掉再 Push 也不能修改历史，如果想要把这个文件从历史里删除掉，可以参考以下两篇文章

• https://help.github.com/articles/remove-sensitive-data
• http://git-scm.com/book/ch9-7.html#Removing-Objects

#5 楼 @Teddy 谢谢了，已解决。我只能说太奇怪了，我刚才 rm 后，然后 git add . ,之后 git commit ,并且已经 push 过了，但 GitHub 上还存在，刚才用 git commit -a -m，再 push 又没问题。

#8 楼 @_kaichen 谢谢您的推荐。Git 经常用的就是 add,commit,checout,log,status,push,pull,merge，branch，tag，还有一些其他的比较实用的操作么

#9 楼 @xautjzd 差别在-a 这个选项 add 只能加入原来没有被跟踪的文件，没有把删除这个行为也加入版本控制

#11 楼 @Teddy 这样的？我一直以为 git -a -m 是 git add 和 git commit 的结合

此外，github 也 announce 了这个功能

#14 楼 @geekontheway 嗯，确实有了，貌似是个新功能，以前没发觉

这个即使删掉了，历史记录还是存在的~ 要彻底删掉，必须用 git filter，或者 bfg