Correct tag semantics
Correct tag semantics

Presently the tags are pushed automatically
That is not what git tells you to do, infact
the pushing of tags/commits/branches should
be put separately. Haven't investigated the
reset but seems fine

mattharris/ant-git-macros,FrancisVarga/ant-git-macros,mattharris/ant-git-macros