Fix missing tag push in git push action.

This commit is contained in:
Christian P. MOMON 2014-11-26 11:14:08 +01:00
parent 4cc6cd97f7
commit 8926555ebd

View file

@ -143,7 +143,7 @@
<echo message="Push"/>
<exec executable="git" outputproperty="git.push.out" failifexecutionfails="true">
<arg line="push"/>
<arg line="push --follow-tags"/>
</exec>
<echo message="${git.push.out}" />
</target>