jgm/pandoc-types

Tag 1.20 seems to be missing in git

Closed this issue · 3 comments

There is a release 1.20 on GitHub, but running git tag does not include the 1.20 tag; it seems to be missing in git. The commit behind release 1.20 does not appear to be part of any branch; trying to checkout the commit id fails.

jgm commented

Wait, I see what you mean now. The commit isn't in master.

jgm commented

OK. I don't know why this happened, but dba3a00 was the same as 6817d99, which is in master. I changed the 1.20 tag to point to the latter.