git作为支持分布式版本管理的工具，它管理的库（repository）分为本地库、远程库。
git commit操作的是本地库，git push操作的是远程库。
git commit是将本地修改过的文件提交到本地库中。
git push是将本地库中的最新信息发送给远程库。
那有人就会问，为什么要分本地commit和服务器的push呢？
因为如果本地不commit的话，修改的纪录可能会丢失。
而有些修改当前是不需要同步至服务器的，所以什么时候同步过去由用户自己选择。什么时候需要同步再push到服务器