Make "git checkout" verify that the argument refers to a commit

diff --git a/git-checkout-script b/git-checkout-script
index bf52e3bb24d3e679e396910c53924075e2f3a32b..48e1da9399b645d8942c7d2d399beeff28153506 100755 (executable)
--- a/git-checkout-script
+++ b/git-checkout-script
@@ -13,7 +13,7 @@ while [ "$#" != "0" ]; do
                force=1
                ;;
        *)
-               rev=$(git-rev-parse --verify --revs-only "$arg")
+               rev=$(git-rev-parse --verify --revs-only "$arg^0") || exit
                if [ -z "$rev" ]; then
                        echo "unknown flag $arg"
                        exit 1