On Github, see if a tag includes a pull request?

Question

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

Answer 1

Something I tried -- I don't know 100% if this works as I think it does, but in case it helps:

• I went to https://github.com/jquery/jquery/tags
• I clicked on ee2e377 under 3.1.1, which took me to https://github.com/jquery/jquery/commit/ee2e377494a882f043e6d8abc67ac6370ee83d9c
• I saw that its parent is 51c29dc https://github.com/jquery/jquery/commit/51c29dc1fecc675054762fb1f50a0cdd6b1f0df0

So.. if somebody makes a pull request, I'm thinking that I should be able to go to the branch, check their git commit log from where they're making the pull request from, and check if the commits related to the tag exist there.

On https://github.com/jquery/jquery/commits/3.1.1, ee2e37 and 51c29dc both exist.

On https://github.com/jquery/jquery/commits/master, you'll see that ee2e37 doesn't exist, but 51c29dc does, which would have me thinking: "a pull request made from here to the 3.1.1 tag actually doesn't include all of the commits that come with the 3.1.1 tag".