diff --git a/git-checkout.sh b/git-checkout.sh
index 4a605cd9c6d76dc99ab0574dc3571db3b64e509c..37afcdda309ca8df52bb5033e5e7f0b771dfa067 100755 (executable)
--- a/git-checkout.sh
+++ b/git-checkout.sh
force=1
;;
*)
- rev=$(git-rev-parse --verify "$arg^0") || exit
+ rev=$(git-rev-parse --verify "$arg^0" 2>/dev/null) ||
+ die "I don't know any '$arg'."
if [ -z "$rev" ]; then
echo "unknown flag $arg"
exit 1