将github上某个文件替换掉

替换远程仓库中的文件

1、将远程仓库拉取下来
	git pull
2、将要换掉的文件删除
    git rm xxx
3、git add xxx（新文件）
4、git commit xxx
5、git push

如果还没退出原先push的界面，可以直接使用上述操作，若已退出，重新进入git bash here界面，需要在第五个步骤之前看是否需要给仓库取别名，再进行push。