How can you tell if a GitHub pull request has been released?

Question

It's fairly common to come across pull requests when searching for issues. But what has eluded me for awhile is how to determine (reliably) if/when that pull request has been released. Anyone know an easy way to do this?

Answer 1

I also very frequently have this need. I'm doing like this:

• get the id from the most recent commit in the pull request on github
• clone the repository locally
• run git tag --contains [commit_id]

But it would be wonderful if github provided an easier way !