On Github, see if a tag includes a pull request?
<p>Say I am looking at a pull request from <code>alice/foo</code> to <code>bob/foo</code>. <code>bob/foo</code> has a tag <code>v1.0</code> at <code>abc67</code>. From the website, how can I tell whether Alice's pull request is an ancestor of <code>v1.0</code>?</p>