#517 pull和push的格式   git     2 years ago (owner) Document
参考git-pull:
 git pull <远程主机名> <远程分支名>:<本地分支名>
比如:
 git pull origin master:master
 // origin是主机名,通过git remote -v可以获取
 // 若本地分支名就是当前分支,则可以省略冒号和本地分支名
参考git-push
 git push <远程主机名> <本地分支名>:<远程分支名>
比如:
 git push origin master:master
 // origin是主机名,通过git remote -v可以获取
 // 若远程分支名与本地分支名相同,则可以省略冒号
准确来说,上面origin不叫主机名,而应该叫库名,指令通用格式为:
 git push/pull <repository> <src>:<dst>