git-checkout-script: use "--verify --revs-only" to parse revs

Sven Verdoolaege points out that I added the --verify option to
git-rev-parse exactly for things like this, but didn't update the
users.

diff --git a/git-checkout-script b/git-checkout-script
index 4b3ae4adc262a7255882d4faff09c0e3a5f5afad..ea7fef54ab6e1a6e04b87aa749c19ae916190d26 100755 (executable)
--- 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