Can apparently use `git push origin master --tags` in older gits, but `--follow-tags` is better as it will only publish the tags you intended.

Would also be able to drop `origin master` if you used `simple` mode instead of `matching`.