From 7f45252068864507e41c75edb1c6e53de66846c6 Mon Sep 17 00:00:00 2001
From: Petr Baudis <pasky@ucw.cz>
Date: Sun, 8 Nov 2009 00:23:30 +0100
Subject: [PATCH] jobd/update.sh: Handle changed baseurl - update
 remote.origin.url

---
 jobd/update.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jobd/update.sh b/jobd/update.sh
index 401bc68..380d4c8 100755
--- a/jobd/update.sh
+++ b/jobd/update.sh
@@ -28,6 +28,7 @@ case "$url" in
 		GIT_DIR=. bang git fetch
 		;;
 	*)
+		[ "$url" = "$(config_get remote.origin.url)" ] || bang config_set remote.origin.url "$url"
 		bang git remote update
 		bang git remote prune origin
 		;;
-- 
2.11.4.GIT