From eb5d2f28e655a445513aeb4430af07add2413a8f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Sat, 8 Nov 2014 19:07:38 +0100
Subject: [PATCH] push removed

---
 build_common.xml | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/build_common.xml b/build_common.xml
index 0d0dec302..14f33816e 100644
--- a/build_common.xml
+++ b/build_common.xml
@@ -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">