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

Question

所以我的问题是this post，但我仍然有点困惑。基本上，我正在检查GitHub上的回购，并且我发现目前有34个开放请求和173个关闭请求。我现在的理解是这样的：

1. 如果有人做一个愚蠢的拉请求，维护将关闭它
2. 如果有人让一个合法的拉请求时，维护人员可以将其合并，此时请求关闭
3. 如果请求是开放的（合法与否），那么这意味着维护者只是没有处理这些事（或在解决冲突的过程中）

然而，许多在打开的请求这个回购是非常古老的，尽管他们似乎做出了合理的改变。这让我想知道我上面的第二个假设是否正确。那么它是什么呢，合并时请求拉近请求还是保持开放？如果他们保持开放，我怎么能说他们实际上是合并的，而不仅仅是陷于僵局？

在此先感谢。

Answer 1

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

所以如果一个PR仍然是开放的，这意味着它没有合并。

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

Answer 2

一个PR与Open标签只是意味着它不合并。这些标签是合法的，并且具有确定的含义。 Merged表示它已合并并关闭，Closed仅表示它已关闭且代码未被接受。

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