Bail out when pushing to the git repository fails.

2009-11-23 18:47:00 +01:00 · 2009-11-23 18:47:00 +01:00 · b945a74f9b
parent 408e19b653
commit b945a74f9b
1 changed files with 1 additions and 1 deletions
--- a/tools/gitsvngateway/gitsvngateway
+++ b/tools/gitsvngateway/gitsvngateway
@ -286,7 +286,7 @@ then
 	if ! same_commit $remote/${git} ${git}
 	then
 		echo_c "== Pushing the changes to $remote"
-		$dry_run ||  git push $remote ${git}
+		$dry_run ||  git push $remote ${git} || exit 1
 	else
 		echo_c "== No local changes, so not pushing to $remote"
 	fi