From 1f5a05ceaf3d5dbe12db7116e333b59d925f4dd1 Mon Sep 17 00:00:00 2001
From: Petr Baudis <pasky@ucw.cz>
Date: Thu, 19 Nov 2009 22:07:34 +0100
Subject: [PATCH] taskd/clone.sh: Don't fail on already-existing origin when
 previous mirroring attempt failed

---
 taskd/clone.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/taskd/clone.sh b/taskd/clone.sh
index 49d217c..0240968 100755
--- a/taskd/clone.sh
+++ b/taskd/clone.sh
@@ -33,6 +33,7 @@ case "$url" in
 		GIT_DIR=. git fetch
 		;;
 	*)
+		git remote rm origin >/dev/null 2>&1 || :
 		git remote add --mirror origin "$url"
 		git remote update
 		git remote prune origin
-- 
2.11.4.GIT