Closed sol closed 11 years ago
I'm talking about revisions here. The revisions that correspond to the 3000.2.0.5
and 3000.2.1
release are not tagged.
If you have them locally (git tag
will tell you), you can push them with git push origin --tags
. If you don't have them locally, you have to find out what revisions correspond to what release and add them. e.g.
$ git tag 3000.2.1 master
$ git tag 3000.2.0.5 808a5af2451c3cd8e28c6e2327b78e9336b1cb28
$ git push origin --tags
(I have not verified that those revisions are what we have on Hackage, it's just an educated guess!)
ahhh -- tags could mean about 5 different things in this context -- I have got you
I am finished for the day but I will do this tomorrow AM
(Thanks for remind me)
This seems resolved, as the tags exist:
Can you elaborate?