From 47efcae69c42564fa5caefe04ff0ca39b338434d Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@bestpractical.com>
Date: Tue, 17 Jan 2012 17:47:20 -0800
Subject: [PATCH] fix the push-tags target

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 5eac31a6e..7b830a0e5 100644
--- a/build.xml
+++ b/build.xml
@@ -130,7 +130,7 @@
          <arg line="push"/>
      </exec>
      <exec executable="git" failonerror="true">
-         <arg line="push tag ${version-name}"/>
+         <arg line="push origin tag ${version-name}"/>
      </exec>
      </target>