Re: git-checkout doesn't understand -- separator

Jakub Narebski [off-list ref] writes:

git-checkout doesn't understand '--' as a separator between <branch> (which
is optional, but you can always write HEAD), and <path>...

  1144:jnareb@roke:~/git> git checkout HEAD^ -- gitweb/gitweb.cgi
  git-checkout-index: -- is not in the cache

Strange...

Perhaps...

diff --git a/git-checkout.sh b/git-checkout.sh
index 5613bfc..580a9e8 100755
--- a/git-checkout.sh
+++ b/git-checkout.sh

@@ -67,6 +67,10 @@ while [ "$#" != "0" ]; do
 			set x "$arg" "$@"
 			shift
 		fi
+		case "$1" in
+		--)
+			shift ;;
+		esac
 		break
 		;;
     esac