关于“git pull”

作用
从远程库获取最新的更新，再与本地指定的分支自动merge。

完整格式
git pull <远程库名><远程分支名>:<本地分支名>

举个栗子
拉取远程库中的develop分支，并与本地develop分支合并
git pull origin develop:develop

如果与当前本地分支合并（比如当前在hot-fix分支），想把master分支拉下来，合并到本地的hot-fix分支，执行：
git pull origin master

通常，git会将本地库分支与远程分支之间建立一种追踪关系。比如，在git clone的时候，所有本地分支默认与远程库的同名分支建立追踪关系。也就是说，本地的master分支自动追踪origin/master分支。因此，如果当前处于本地develop分支上，并且本地develop分支与远程的develop分支有追踪关系，那么远程的分支名可以省略：git pull origin

建议
可以自己pull和merge，方便发生冲突时修改冲突