push removed

This commit is contained in:
Jindra Petřík
2014-11-08 19:07:38 +01:00
parent 830d4a22a6
commit eb5d2f28e6

View File

@@ -523,17 +523,8 @@
</target>
<target name="git-push">
<exec executable="git" failonerror="true">
<arg value="config"/>
<arg value="--global"/>
<arg value="push.default"/>
<arg value="matching"/>
</exec>
<exec executable="git" failonerror="true">
<arg value="push"/>
<arg value="https://github.com/jindrapetrik/jpexs-decompiler.git" />
<arg value="refs/heads/master:refs/heads/master"/>
</exec>
<!-- TODO -->
<echo>WARNING: Changes need to be PUSHed to the GIT repository.</echo>
</target>
<target name="-git-commit-versioninfo">