don't push unless the commit succeeded!

[code/myrepos.git] / mr

diff --git a/mr b/mr
index 2932ea3a819f944ce6848df48e86e292400525dc..ee5e5e2befda8f44168bfd0b6b8ea75198e97662 100755 (executable)
--- a/mr
+++ b/mr
@@ -334,7 +334,7 @@ update = \
        elif [ -d .git ]; then \
                git pull origin master; \
        else \
-               echo "mr update: unknown RCS"; \
+               echo "mr update: unknown repo type"; \
                exit 1; \
        fi
 status = \
@@ -343,16 +343,15 @@ status = \
        elif [ -d .git ]; then \
                git status || true; \
        else \
-               echo "mr status: unknown RCS"; \
+               echo "mr status: unknown repo type"; \
                exit 1; \
        fi
 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 RCS"; \
+               echo "mr commit: unknown repo type"; \
                exit 1; \
        fi