From 052ba0de1db046987852e41b14c2fc78ebd905f2 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 11 Oct 2007 01:12:00 -0400 Subject: [PATCH] don't push unless the commit succeeded! --- mr | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mr b/mr index e1c8a06..ee5e5e2 100755 --- a/mr +++ b/mr @@ -350,8 +350,7 @@ commit = \ if [ -d .svn ]; then \ svn commit "$@"; \ elif [ -d .git ]; then \ - git commit -a "$@"; \ - git push --all; \ + git commit -a "$@" && git push --all; \ else \ echo "mr commit: unknown repo type"; \ exit 1; \ -- 2.39.5