git pull的作用是，從遠端庫中獲取某個分支的更新，再與本地指定的分支進行自動merge。完整格式是：

1. $ git pull <遠端庫名> <遠端分支名>:<本地分支名>  

比如，取回遠端庫中的develop分支，與本地的develop分支進行merge，要寫成：

1. git pull origin develop:develop  

如果是要與本地當前分支merge，則冒號後面的<本地分支名>可以不寫。

1. git pull origin develop  

通常，git會將本地庫分支與遠端分支之間建立一種追蹤關係。比如，在git clone的時候，所有本地分支預設與遠端庫的同名分支建立追蹤關係。也就是說，本地的master分支自動追蹤origin/master分支。因此，如果當前處於本地develop分支上，並且本地develop分支與遠端的develop分支有追蹤關係，那麼遠端的分支名可以省略：

1. git pull origin  

其實，git pull 命令等同於先做了git fetch ，再做了git merge。即：

1. git fetch origin develop  
2. git checkout develop  
3. git merge origin/develop