git 删除导致本地和远程仓库不同步解决

使用git版本控制时，开始时对git不熟悉，导致了一些问题。

https://github.com/wolfpython/nids
比如在nids仓库中，开始新建了很多文档，但是后来发现很凌乱，删掉了不少：
$rm devdoc member_list

本来在删除时，应尽量使用git rm命令来操作，但是如果不小心使用了rm命令，
导致本地仓库(master)和远程仓库(origin)不同步，怎么办？在这种情况下，
即使git commit -a 也是无济于事的。

先pull远程仓库，然后和本地仓库合并，最后提交即可。
$git pull origin
$git merge origin master
$git push origin