How can you tell if a PR on Github that's merged has made it into a release?

Question

I'm looking at a PR on Github. It's been merged into Master. How do I know if this PR actually made it into a release?

Perhaps it can be done using git which would require cloning the repo to your local machine but that's a lot of work.

Answer 1

I found the answer on how to get the tag of a merged pull request (takes a few clicks) and see which release a PR made into:

1. Go to PR (this one for example)
2. Copy the PR number, enter it in the search and choose In this repository option:
3. Click on a commit relating to that PR:
4. Now you'll see that tag number at the bottom of the commit message: