Comment by simonw
1 day ago
Thanks for that, though actually it turns out I had them after all - I needed to run:
git push --tags origin
1 day ago
Thanks for that, though actually it turns out I had them after all - I needed to run:
git push --tags origin
All the better :)