Git：git-pull的用法总结。

前言
本篇文章总结一下git-pull 的用法，主要过程是基于对官网的完整阅读，记录关键笔记和样例，加上自己的理解。整个过程是这样：

认真读完官网之后，才会知道它到底有多少内容，这样要比一次一次碎片化地去查要节省很多的时间，不这样读一遍，你怎么能知道git-pull有多少功能呢，如果不知道，回头遇到了需要这个功能的时候，都不知道怎么去查，要了解这个命令的外延。
当然，很多内容一下子是记不住的。记录适当的，或者说关键性的笔记来辅助记忆，将来可以多次去查看。
记录学习的心得。
粗读了一遍git-pull的文档，内容很多，恐怕一篇笔记不足以总结到位，可能要分为多篇笔记来总结。

正文
语法
git pull的作用是从一个仓库或者本地的分支拉取并且整合代码。

​​git pull [<options>] [<repository> [<refspec>…]]​​

描述
git pull相当于 git fetch 跟着一个 git merge FETCH_HEAD。是仓库的名字， 是分支的名字。如果都不写，会有一个默认值。

一个例子：

   A---B---C master on origin
   /
D---E---F---G master
   ^
    origin/master in your repository

远程的master分支到了C，本地的开发到了G。

A---B---C origin/master
  /         \
D---E---F---G---H master

git pull之后会生成一个新的H，合并两个分支。
如果发生了冲突，可以使用git reset --merge进行回退。

实例
实例：默认使用方式

​​git pull​​ 按照git branch 设置的默认跟踪的服务器和分支来拉取。

实例： 拉取远程服务器origin的master分支

​​git pull origin master​​