don't push unless the commit succeeded!

[code/myrepos.git] / mr

diff --git a/mr b/mr
index 2a439069b0e914dd8d995ab6b05fc84750d9842c..ee5e5e2befda8f44168bfd0b6b8ea75198e97662 100755 (executable)
--- a/mr
+++ b/mr
@@ -334,7 +334,7 @@ update = \
        elif [ -d .git ]; then \
                git pull origin master; \
        else \
        elif [ -d .git ]; then \
                git pull origin master; \
        else \

-               echo "mr update: unknown RCS"; \
+               echo "mr update: unknown repo type"; \

                exit 1; \
        fi
 status = \
                exit 1; \
        fi
 status = \


@@ -343,15 +343,15 @@ status = \
        elif [ -d .git ]; then \
                git status || true; \
        else \
        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 \
                exit 1; \
        fi
 commit = \
        if [ -d .svn ]; then \
                svn commit "$@"; \
        elif [ -d .git ]; then \

-               git commit -a "$@"; \
+               git commit -a "$@" && git push --all; \

        else \
        else \

-               echo "mr commit: unknown RCS"; \
+               echo "mr commit: unknown repo type"; \

                exit 1; \
        fi
                exit 1; \
        fi