git使用之删除文件

在本地删除文件，开始以为在本地直接rm就可以了。比较低级的想法。所以记下步骤。。

git 提供了很多操作。具体见 git --help 

其中，git rm删除一个本地文件

            git commit -m “description”

           git push推送到远程代码库中去