github rebase和壁球

Question

在github上管理的一个开源项目中，我想压缩并重新定义PR。 Github的下拉菜单提供了3个选项：  合并  2.壁球并合并  3.重新基础

所以我想做3＆amp; 2的组合。我想我最好的选择是使用git cli。但是，如果我压扁＆amp;使用git在我的本地工作站终端上进行rebase，Github GUI是否知道PR被合并了？

Answer 1

如果您在本地压扁和变基，则有两种选择：

1. 将结果推送到Pull Request的原始分支（使用git push --force）。这将覆盖原始Pull Request中的提交，使用生成的提交更新Pull Request，但随后您可以正常合并到主分支。

2. 将结果推送到主分支。这将使原始的Pull Request保持打开状态，因此您需要在不合并的情况下关闭它。