Comment by simonw

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

  git push --tags origin