How to check if a pull request is merged in some branch of the target repository?

倾然丶 夕夏残阳落幕 提交于 2019-12-06 22:03:28

TL;DR

Your PR hasn't been merged.

Its content has been manually merged by anhvurz90 because of conflicts in core/services/src/main/java/org/exoplatform/services/cms/impl/Utils.java (as one can see in the messages of the merged commits).

Details

If I'm walking the wrong road, can anyone clarify my thoughts and correct me I I'm wrong? If I'm not supposed to see such a merge message in the PR page, so how can I check if a PR is merged?

Usually, when a PR cannot cleanly get merged, the contributor is asked to rebase it and solve the conflicts. However, from time to time, the core team may decide to merge it by hand if the conflicts are easy enough to fix.

In that case, you're right that a "Manually merged! Thanks for the code!" may give the contributor some hint about what happened.

How to check if a pull request is merged in some branch of the target repository?

In that kind of cases, you may take a look at the commits in the master branch that you've authored:

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!