Git pull的作用是，从远程库中获取某个分支的更新，再与本地指定的分支进行自动merge。完整格式是：
[plain]
$gitpull<远程库名><远程分支名>:<本地分支名>
比如，取回远程库中的develop分支，与本地的develop分支进行merge，要写成：
[plain]
gitpullorigindevelop:develop
如果是要与本地当前分支merge，则冒号后面的<本地分支名>可以不写。
[html]
gitpullorigindevelop
通常，git会将本地库分支与远程分支之间建立一种追踪关系。比如，在git clone的时候，所有本地分支默认与远程库的同名分支建立追踪关系。也就是说，本地的master分支自动追踪origin/master分支。因此，如果当前处于本地develop分支上，并且本地develop分支与远程的develop分支有追踪关系，那么远程的分支名可以省略：
[plain]
gitpullorigin
其实，git pull 命令等同于先做了git fetch ，再做了git merge。即：
[plain]
gitfetchorigindevelop
gitcheckoutdevelop
gitmergeorigin/develop
好多人不建议使用git pull，喜欢自己merge，以便万一自动merge出错的时候可以解决冲突。
