Hmm, I just tried this for the first time, but `git push origin master --follow-tags` didn’t push the tags for me on Git v1.8.4.