From d9336231963bff48b7f61ed9c79bf54c775b74d6 Mon Sep 17 00:00:00 2001
From: Kiall Mac Innes <kiall@managedit.ie>
Date: Thu, 9 Dec 2010 01:01:15 +0000
Subject: [PATCH] Removed duplicated git-push target

---
 build.xml | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/build.xml b/build.xml
index 5aa6b1a..4a7fe65 100644
--- a/build.xml
+++ b/build.xml
@@ -170,24 +170,6 @@
 		<exec command="git remote add dev ${repository}" dir="${dir}"/>
 	</target>
 
-	<target name="dev-push">
-		<foreach list="${submodules}" param="submodule" target="_dev-push"/>
-		<phingcall target="_dev-push">
-			<property name="repository" value="git@github.com:kohana/userguide.git" />
-			<property name="dir"        value="${basedir}/modules/userguide" />
-		</phingcall>
-	</target>
-
-	<target name="_dev-push">
-		<if>
-			<isset property="submodule"/>
-			<else>
-				<fail message="A submodule propery must be supplied." />
-			</else>
-		</if>
-		<!--<gitpush repository="${basedir}/${submodule}" destination="dev" refspec="${branch}:${branch}" tags="true" />-->
-	</target>
-
 	<!-- Run unit tests -->
 	<target name="test">
 		<exec command="phpunit" checkreturn="true" passthru="true"/>