releasing version 0.8

[code/myrepos.git] / mr

diff --git a/mr b/mr
index 3dbd7e974dc173573539722f09ee0ad8d2b98ddd..1253102e5e05f6d71f15dd0eb14ab19341ac9b52 100755 (executable)
--- a/mr
+++ b/mr
@@ -973,7 +973,7 @@ update =
        elif [ -d "$MR_REPO"/.hg ]; then
                hg pull "$@" && hg update "$@"
        elif [ -d "$MR_REPO"/_darcs ]; then
        elif [ -d "$MR_REPO"/.hg ]; then
                hg pull "$@" && hg update "$@"
        elif [ -d "$MR_REPO"/_darcs ]; then

-               darcs pull "$@"
+               darcs pull -a "$@"

        else
                error "unknown repo type"
        fi
        else
                error "unknown repo type"
        fi


@@ -1005,7 +1005,7 @@ commit =
        elif [ -d "$MR_REPO"/.hg ]; then
                hg commit -m "$@" && hg push
        elif [ -d "$MR_REPO"/_darcs ]; then
        elif [ -d "$MR_REPO"/.hg ]; then
                hg commit -m "$@" && hg push
        elif [ -d "$MR_REPO"/_darcs ]; then

-               darcs commit -m "$@" && darcs push
+               darcs commit -a -m "$@" && darcs push -a

        else
                error "unknown repo type"
        fi
        else
                error "unknown repo type"
        fi