如何判断Pull请求是否合并

Question

所以我的问题是由this post解决的有点，但我仍然有点困惑。基本上，我在GitHub上查看了一个回购，我发现目前有34个开放请求和173个关闭拉取请求。我目前的理解是：

1. 如果有人发出愚蠢的拉取请求，维护人员会将其关闭
2. 如果有人提出合法拉取请求，维护人员可以合并它，此时请求已关闭
3. 如果请求是开放的（合法与否）那么这意味着维护者尚未处理它（或正在解决冲突）

然而，这个回购中的许多开放请求都很老，即使它们似乎做出了合理的改变。这让我想知道我的第二个假设是否正确。那么它是什么，在合并时拉取请求关闭，还是保持打开？如果他们保持开放，我怎么能说他们实际上是合并的，并且不仅仅处于不确定状态？

提前致谢。

Answer 1

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

因此，如果PR仍处于打开状态，则表示它未合并。

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

Answer 2

带有Open标记的PR只表示它未合并。标签是合法的，具有明确的含义。 Merged表示已合并和关闭，Closed仅表示已关闭且代码未被接受。

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