git rm --cached filename
git commit -m "hehe"
git push origin

有时候因为某些原因，需要将上传到github上制定的文件删除，但如果只是单纯地删除本地文件，再执行提交操作，删除的只是本地文件，远程的文件依然存在。可以使用下面的命令，先将stage中的文件删除，然后提交，再push到远程，这时github上的文件就不存在了。