diff options
| -rwxr-xr-x | git-checkout-script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-checkout-script b/git-checkout-script index 870b1a3ef9..4b3ae4adc2 100755 --- 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 ;; |