Clean up git-diff-tree 'header' generation

[git.git] / git-checkout-script

diff --git a/git-checkout-script b/git-checkout-script
index 870b1a3..4b3ae4a 100755 (executable)
--- a/git-checkout-script
+++ b/git-checkout-script
@@ -22,7 +22,7 @@ while [ "$#" != "0" ]; do
                        exit 1
                fi
                new="$rev"
-               if [ -f "$GIT_DIR/revs/heads/$arg" ]; then
+               if [ -f "$GIT_DIR/refs/heads/$arg" ]; then
                        branch="$arg"
                fi
                ;;