Comment by simonw Comment by simonw 16 hours ago 1 reply Copy Link View on Hacker News Thanks for that, though actually it turns out I had them after all - I needed to run: git push --tags origin
All the better :)