Do git reset --hard HEAD when using git rebase --skip

diff --git a/git-rebase.sh b/git-rebase.sh
index 224cca98eea324cabf30885f7c92c254b184410b..9af9da992fae7c6d5aaf3f553e684db623060a97 100755 (executable)
--- a/git-rebase.sh
+++ b/git-rebase.sh
@@ -157,6 +157,7 @@ do
                exit
                ;;
        --skip)
+               git reset --hard HEAD || exit $?
                if test -d "$dotest"
                then
                        git rerere clear