如何判断拉取请求是否已合并 [英] How to Tell if Pull Request Has Been Merged
问题描述
所以我的问题是种类，由
So my question was kind of addressed by this post, but I'm still a little confused. Basically, I'm checking out a repo on GitHub, and I see that there are currently 34 open and 173 closed pull requests. My current understanding is this:
- 如果有人提出了愚蠢的拉取请求，则维护者将关闭该请求
- 如果有人提出合法请求请求，则维护者可以将其合并，此时请求将被关闭
- 如果一个请求是打开的(是否合法)，则意味着维护者尚未处理过该请求(或正在解决冲突中)
但是，尽管此回购中的许多打开请求似乎进行了合理的更改，但它们都是很旧的.这使我想知道我上面的第二个假设是否正确.那是什么呢，合并请求时它们将关闭，还是保持打开状态?如果它们保持开放状态，我怎么能说出它们实际上已经合并了，而不仅仅是处于困境之中?
However, a lot of the open requests in this repo are very old, even though they seem to make reasonable changes. This makes me wonder whether my 2nd assumption above is correct. So which is it, do pull requests close when they are merged, or do they remain open? And if they remain open, how can I tell that they were in fact merged, and aren't just in limbo?
谢谢.
推荐答案
每当维护者通过Web界面合并更改时，拉动请求都会自动关闭.如果他使用命令行合并，则在他将代码推回到Github时，它将立即关闭.
Pull requests are closed automatically whenever the maintainer merge the changes through the web interface. If he merged using the command line, it will be closed as soon as he pushes the code back to Github.
因此，如果PR仍处于打开状态，则表示它没有被合并.
So if a PR is still open, it means it is not merged.
这篇关于如何判断拉取请求是否已合并的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
