Merging a pull request 合并一个 pull 请求Merging a pull request 合并一个 pull 请求参考:https://help.github.com/articles/merging-a-pull-request/