Merge branch 'jc/checkout'

* jc/checkout: git-checkout: allow "checkout HEAD -- path"
git-mirror · Aug 1, 2006 · 0225de8 · 0225de8
2 parents 3e04228 + 2608003
commit 0225de8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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