git-synchronizer: allow read-only URLs

dscho · dscho · commit 6dc15164f86a · 2012-11-27T12:38:26.000-06:00
Our forks of upstream may have their own branches but they should
not have diverging branches.

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/git-synchronizer.sh b/git-synchronizer.sh
@@ -249,6 +249,16 @@ do
 			fi
 		done)
 	test -z "$pushopts" && continue
+	case "${url#*=}" in
+	git://*)
+		case "$pushopts" in
+		*+*)
+			add_error "Diverging $url: ${pushopts#*+}"
+			;;
+		esac
+		continue
+		;;
+	esac
 	git push $name $pushopts ||
 	add_error "Could not push to $url"
 done
