From f2f413e46ffff7bd504d283d78f462a6100a8518 Mon Sep 17 00:00:00 2001
From: nobnago <norbertnagold@gmail.com>
Date: Mon, 28 Nov 2011 15:16:02 +0100
Subject: [PATCH] fix pull-compile-script

---
 tools/pull-compile-push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/pull-compile-push.sh b/tools/pull-compile-push.sh
index 5ea76cf0cd..19833f1aad 100755
--- a/tools/pull-compile-push.sh
+++ b/tools/pull-compile-push.sh
@@ -23,7 +23,7 @@ BRANCH=${2:-$DEFAULT_BRANCH}
 cd "$(dirname "$0")/.."
 
 # Pull
-git pull b$DEVELOPER $BRANCH
+git pull https://github.com/$DEVELOPER/Anki-Android.git $BRANCH
 if [ "$?" -ne "0" ]; then zenity --error --text 'pull failed'; exit 1; fi 
 
 # Compile