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