git pull和git push

pull参考：https://www.runoob.com/git/git-pull.html
push参考：https://www.runoob.com/git/git-push.html

git pull是git fetch 和 git merge 的简写

git pull [远程仓库名] [分支名]

常用形态是：

git pull origin master:brantest
# 将远程主机 origin 的 master 分支拉取过来，与本地的 brantest 分支合并。

git push 命令用于从将本地的分支版本上传到远程并合并。

命令格式如下：

git push <远程主机名> <本地分支名>:<远程分支名>

如果本地分支名与远程分支名相同，则可以省略冒号：

git push <远程主机名> <本地分支名>