从 git --squash 合并 PR（不关闭）

Question

当我在一个分支中开发并将其合并到 master 中时：

git merge --no-ff $BRANCH
git push origin HEAD

它合并了 Github 中的 PR（紫色徽章）。

但如果我想合并它被压扁：

git merge --squash $BRANCH
git add . && git commit -m "Merge branch '$BRANCH'"
git push origin HEAD

它保持打开状态，直到我移除分支：

git branch -D $BRANCH 
git push origin :$BRANCH

如何合并一个被压扁的分支并合并（不关闭） Github 中的 PR？

这是一个示例存储库：https : //github.com/sospedra/better-pr-close

Answer 1

In case anyone has the same problem. I contacted the GitHub team by email and they tell me is not possible right now because they use the SHA's commit to link the merge commit with the PR.

Here's the full answer:

自动合并拉取请求的逻辑查看拉取请求中存在的提交 SHA。

如果所有提交的 SHA 已经被推送到基础分支，我们会自动将其标记为已合并。

当您压缩提交并推送时，对原始提交的引用将丢失。

这意味着如果提交已被压缩并从命令行推送，则当前无法将 PR 标记为已合并。

我可以将您的请求转达给团队，以考虑未来的改进。

我不能保证我们是否或何时添加它，但我肯定会传递它！

他们会考虑这个要求。希望会在某个时候添加。