I also have a locally cloned copy of that repo from when it was on GitHub. Same latest commit as your copy of it.

From what I see in GitHub in your copy of the repo, it looks like you don’t have the tags.

Do you have the tags locally?

If you don’t have the tags, I can push a copy of the repo to GitHub too and you can get the tags from my copy.

▲ simonw 11 hours ago | parent [-]

I don't have the tags! It would be awesome if you could push that.

▲ QuantumNomad_ 11 hours ago | parent [-]

Uploaded here:

▲ simonw 11 hours ago | parent [-]

Thanks for that, though actually it turns out I had them after all - I needed to run:

  git push --tags origin

	▲	QuantumNomad_ 11 hours ago \| parent [-]
		All the better :)