如何判断合并请求是否已合并

How to Tell if Pull Request Has Been Merged

所以我的问题 有点 this post 解决了,但我还是有点困惑。基本上,我正在检查 GitHub 上的一个回购协议,我看到目前有 34 个打开的和 173 个关闭的拉取请求。我目前的理解是:

  1. 如果有人发出愚蠢的拉取请求,维护者将关闭它
  2. 如果有人提出合法的拉取请求,维护者可能会合并它,此时请求将被关闭
  3. 如果一个请求是开放的(合法与否)那么这意味着维护者还没有处理它(或者正在解决冲突)

然而,这个 repo 中的许多开放请求都非常旧,尽管它们似乎进行了合理的更改。这让我想知道我上面的第二个假设是否正确。那么它是什么,拉取请求在合并时关闭,还是保持打开状态?如果它们保持打开状态,我怎么知道它们实际上已经合并,而不仅仅是处于不确定状态?

提前致谢。

只要维护者通过 Web 界面合并更改,拉取请求就会自动关闭。如果他使用命令行合并,一旦他将代码推回 Github,它将立即关闭。

因此,如果一个 PR 仍然处于打开状态,则意味着它没有被合并。

参考:Best-way-to-merge-a-github-pull-request

带有 Open 标签的 PR 仅仅意味着它没有被合并。这些标签是合法的并且具有明确的含义。 Merged表示已合并关闭,Closed表示已关闭,代码未被接受。

但是,如果仓库所有者或协作者从命令行合并了 PR,那么除非他更新仓库,否则它不会反映在 Web 界面上。