Does a closed pull request on Github mean that it was not merged?

Question

Does a closed pull request on Github imply that the pull request is not merged? If no, is there a way I can determine if a pull request which was closed was merged or not?

Thanks.

Answer 1

If no, is there a way I can determine if a pull request which was closed was merged or not?

A pull request has at the top of the page it's status. There's 3 possibilties:

• open: pending, might need some change.
• closed: refused
• merged: accepted

So, if you can see Closed at the top, the PR hasn't been accepted: it hasn't been merged.