[PSA] best way to push a tag

[Owen Nichols]

Preferred:
git push origin <TAGNAME>

Thar be dragons:
git push --tags