sindresorhus/refined-github



The issue has been closed
Show the earliest tag after a merged PR #3088
fregante posted onGitHub
- Visit a merged PR, like https://github.com/fregante/github-url-detection/pull/2
- Has this PR been published/tagged yet?
Currently, the fastest way to do this:
- Open the More menu
- Visit Commits
- Look for the current PR in the list and figure it out
If you open the commit itself, GitHub will show both the branch and the tag that commit appears in, for example: https://github.com/fregante/github-url-detection/commit/329d756f66df44cfb97dbe8fa84c1cb3bcbe8e03
<img width="348" alt="" src="https://user-images.githubusercontent.com/1402241/81814545-35fa1100-9529-11ea-9e32-96fb90f457fd.png">
We could show a similar information on the PR event list:
<img width="701" alt="" src="https://user-images.githubusercontent.com/1402241/81814631-4e6a2b80-9529-11ea-917f-5a3b1aca7ec4.png">