diff options
Diffstat (limited to 'git-reset-script')
| -rwxr-xr-x | git-reset-script | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-reset-script b/git-reset-script index 49994df7a2..7da8d86823 100755 --- a/git-reset-script +++ b/git-reset-script @@ -1,7 +1,7 @@ #!/bin/sh . git-sh-setup-script || die "Not a git archive" -rev=$(git-rev-parse --revs-only --verify --default HEAD "$@") || exit -rev=$(git-rev-parse --revs-only --verify $rev^0) || exit +rev=$(git-rev-parse --verify --default HEAD "$@") || exit +rev=$(git-rev-parse --verify $rev^0) || exit git-read-tree --reset "$rev" && { if orig=$(git-rev-parse --verify HEAD 2>/dev/null) then |