git - 如何在 git merge 、修改、推送后修复 pull 请求？

Question

在 github 上有一个 pull request 到 master。

我在命令行上 merge 了 pull 请求。注意到一个小问题，所以修复了它，做了一个
git commit --amend
并推主。

坏主意。

现在github不承认pull request已经 merge 。

我怎样才能让它看起来像是在要 merge 的分支上发生了修改，因此 merge 发生了？还是有更好的策略来解决这个问题？

Answer 1

如果你不愿意强行push改写历史，那就没办法了。在我看来，您应该简单地关闭 github 界面中的 pull 请求，并可能留下您 merge 它的评论。

另一种方法是，您可以尝试再次 merge 它，如果这导致了一个重要的提交，然后推送它，也许 github 会把它捡起来。但它很乱。

有许多项目实际上从不 merge pull 请求，例如，许多自制 PR 没有 merge ，而是将它们压缩成一个提交，由自制开发人员重新格式化并 merge 修改后的版本，然后它们关闭原本的。这不是一个坏习惯。