github 下载别人提交的pull request

如果你想下载别人提交的 Pull Request，可以按照以下步骤操作：

1. 打开 Pull Request 页面，找到你想下载的 Pull Request。

2. 点击页面右侧的“Merge”按钮，将 Pull Request 合并到你的分支中。

3. 在本地仓库中切换到你的分支，执行命令 `git pull`，将合并后的代码更新到本地。

4. 执行命令 `git log`，查看最近的提交记录，找到合并该 Pull Request 的 commit ID。

5. 执行命令 `git checkout <commit ID>`，切换到该 commit 所在的分支。

6. 执行命令 `git checkout -b <branch name>`，创建一个新分支。

7. 执行命令 `git push origin <branch name>`，将新分支推送到远程仓库。

8. 现在你可以在 GitHub 上查看该分支，或者通过命令 `git clone <repository URL>` 将整个仓库克隆到本地。