Git.pm: Introduce ident() and ident_person() methods

diff --git a/git-rebase.sh b/git-rebase.sh
index fd0e7c498d8cdfe210fd0b34f6b0e7acaf8b381a..3945e067141ec1bc87456179a59de8f692bdf9fa 100755 (executable)
--- a/git-rebase.sh
+++ b/git-rebase.sh
@@ -54,8 +54,13 @@ continue_merge () {
 
        if test -n "`git-diff-index HEAD`"
        then
+               if ! git-commit -C "`cat $dotest/current`"
+               then
+                       echo "Commit failed, please do not call \"git commit\""
+                       echo "directly, but instead do one of the following: "
+                       die "$RESOLVEMSG"
+               fi
                printf "Committed: %0${prec}d" $msgnum
-               git-commit -C "`cat $dotest/current`"
        else
                printf "Already applied: %0${prec}d" $msgnum
        fi