Github 上的关闭拉取请求是否意味着它没有合并?

Does a closed pull request on Github mean that it was not merged?

Github 上的关闭拉取请求是否意味着拉取请求未合并? 如果否,有没有办法确定已关闭的拉取请求是否已合并?

谢谢。

If no, is there a way I can determine if a pull request which was closed was merged or not?

拉取请求在页面顶部显示其状态。有 3 种可能性:

  • 打开:待定,可能需要一些更改。
  • 关闭:拒绝
  • 合并:接受

因此,如果您可以在顶部看到 Closed,则 PR 尚未被接受:尚未合并

有 3 种可能性:

打开:待定

关闭:拒绝

合并:接受