title: How can you tell if a PR on Github that's merged has made it into a release?
body: <p>I'm looking at <a href="https://github.com/expo/expo/pull/4787" rel="noreferrer">a PR on Github</a>. It's been merged into Master. How do I know if this PR actually made it into a release?</p>
  
  <p>Perhaps it can be <a href="https://stackoverflow.com/questions/7923091/how-to-list-all-tags-that-contain-a-commit">done using git</a> which would require cloning the repo to your local machine but that's a lot of work.</p>