[PATCH] git bugfixes and cleanups, mainly Debian things

diff --git a/git-revert-script b/git-revert-script
index dc2dea48987dce1e266cdb8da2086293b4811d68..22f2082fb1d9612fdc41b0edd7ec90327cfcf004 100755 (executable)
--- a/git-revert-script
+++ b/git-revert-script
@@ -10,7 +10,7 @@ case "$status" in
        die "Your working tree is dirty; cannot revert a previous patch." ;;
 esac
 
-rev=$(git-rev-parse --no-flags --verify --revs-only "$@") &&
+rev=$(git-rev-parse --verify "$@") &&
 commit=$(git-rev-parse --verify "$rev^0") || exit
 if git-diff-tree -R -M -p $commit | git-apply --index &&
    msg=$(git-rev-list --pretty=oneline --max-count=1 $commit)