git-synchronizer: make sure that the push URL is kept up-to-date

dscho · dscho · commit 8530574d503c · 2013-03-13T15:29:30.000-05:00
If the Jenkins configuration changes, it needs to be picked up.

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/git-synchronizer.sh b/git-synchronizer.sh
@@ -66,10 +66,10 @@ fetch_from () {
 			add_error "Could not add remote $name ($url)"
 			return 1
 		}
-		test -n "$pushurl" &&
-		test "$pushurl" != "$url" &&
-		git config remote.$name.pushURL "$pushurl"
 	fi
+	test -n "$pushurl" &&
+	test "$pushurl" != "$url" &&
+	git config remote.$name.pushURL "$pushurl"
 	previous="$(get_remote_branches $name)"
 	git fetch --prune $name >&2 || {
 		add_error "Could not fetch $name"
