title: Does a closed pull request on Github mean that it was not merged?
body: <p>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?</p>
  
  <p>Thanks.</p>