diff options
| -rwxr-xr-x | git-checkout-script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-checkout-script b/git-checkout-script index 4b3ae4adc..ea7fef54a 100755 --- a/git-checkout-script +++ b/git-checkout-script @@ -12,7 +12,7 @@ while [ "$#" != "0" ]; do force=1 ;; *) - rev=$(git-rev-parse "$arg") + rev=$(git-rev-parse --verify --revs-only "$arg") if [ -z "$rev" ]; then echo "unknown flag $arg" exit 1 |