Can apparently switch out `git push origin master && git push origin master --tags` with `git push origin master --follow-tags` for git 1.8.3, if you're ok having that as the minimum.

http://stackoverflow.com/questions/3745135/push-git-commits-tags-simultaneously