
4 Dec
2024
4 Dec
'24
10:35 a.m.
On Wed, Dec 04, 2024 at 04:00:03PM +0530, Zubin Duggal wrote:
You can see the branches and tags the commit was a part of. For this commit, that is the branches ghc-9.12 and master and the tags ghc-9.12.1-alpha1 ghc-9.12.1-alpha2 ghc-9.12.1-alpha3 ghc-9.12.1-rc1 ghc-9.13-start
Ah, it seems I needed to do `git fetch --tags` to get all the tags. Thanks, Tom