Merge branch 'jc/checkout'

* jc/checkout: git-checkout: allow "checkout HEAD -- path"
2006-07-31 22:59:33 -07:00
parent 3e04228b0c 2608003f55
commit 0225de86a4
1 changed files with 4 additions and 0 deletions
--- 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