From 830d4a22a6f9444107b223df03a25b692d4e2e5b 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:02:58 +0100
Subject: [PATCH] push script

---
 build_common.xml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/build_common.xml b/build_common.xml
index 5ddb0a95c..0d0dec302 100644
--- a/build_common.xml
+++ b/build_common.xml
@@ -524,7 +524,15 @@
     
     <target name="git-push">
         <exec executable="git" failonerror="true">
-            <arg value="push"/>            
+            <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> 
     </target>