解释如何更改 pull request 的基本分支。

在GitHub上更改pull request的基本分支是一个相对简单的操作，这可以在以下情况中非常有用：比如你创建了一个pull request，但是不慎将其指向了错误的分支，或者在代码审查过程中，团队决定将更改合并至另一个分支。

步骤如下：

1. 打开GitHub：首先，登录到GitHub，并导航到相应的仓库(Repository)页面。

2. 找到Pull Request：在仓库的主页上找到并点击“Pull requests”标签，然后选择你想要修改的pull request。

3. 编辑Pull Request：在pull request页面，你会看到一个“Edit”按钮，位于标题右侧。点击这个按钮。

4. 更改基本分支：

   • 在编辑模式下，你会看到一个名为“base”分支的下拉菜单。这就是当前pull request的目标分支。
   • 点击这个下拉菜单，选择一个新的基本分支。这个下拉菜单会列出所有可用的分支。

5. 保存更改：选择好新的基本分支后，页面会自动刷新，并显示新基本分支与当前pull request中的更改之间的差异。确认这些更改是你所期望的，然后点击页面上的“Change base”按钮提交你的选择。

注意事项：

• 确保兼容性：在更改基本分支之前，确保你的pull request的更改与新基本分支兼容，避免合并冲突。
• 通知团队成员：如果这个变更影响到其他团队成员，确保及时通知他们。

实例：

假设我最初错误地将一个pull request指向了master分支，但后来意识到这些更改应该合并进develop分支。我将按照上述步骤更改基本分支，并且在操作前，我会检查develop分支的最新状态，确认没有冲突。操作完成后，我还会在团队的沟通渠道（如Slack或邮件）中告知相关同事。

通过这样的操作，我们可以确保代码整合的准确性和团队协作的有效性。