@github Mainly, I just want to know if a merged pull request has been released, or if it is in the release that I am using.