diff options
| author | Junio C Hamano <junkio@cox.net> | 2007-03-29 01:02:50 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-05-12 12:35:54 -0700 |
| commit | fdc99cbbdcdcf4ee2c336f02b7b2dbcb11696392 (patch) | |
| tree | 65874f71fe48a9bc14a70633f43ae6ec39003f3d /git-checkout.sh | |
| parent | cbb84e5d174cf33fd4dcf3136de50a886ff9a2e2 (diff) | |
| download | git-fdc99cbbdcdcf4ee2c336f02b7b2dbcb11696392.tar.gz | |
checkout: allow detaching to HEAD even when switching to the tip of a branch
You cannot currently checkout the tip of an existing branch
without moving to the branch.
This allows you to detach your HEAD and place it at such a
commit, with:
$ git checkout master^0
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-checkout.sh')
| -rwxr-xr-x | git-checkout.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-checkout.sh b/git-checkout.sh index a7390e808c..deb0a9a3c7 100755 --- a/git-checkout.sh +++ b/git-checkout.sh @@ -170,7 +170,7 @@ describe_detached_head () { } } -if test -z "$branch$newbranch" && test "$new" != "$old" +if test -z "$branch$newbranch" && test "$new_name" != "$old_name" then detached="$new" if test -n "$oldbranch" && test -z "$quiet" @@ -180,7 +180,7 @@ If you want to create a new branch from this checkout, you may do so (now or later) by using -b with the checkout command again. Example: git checkout -b <new_branch_name>" fi -elif test -z "$oldbranch" +elif test -z "$oldbranch" && test "$new" != "$old" then describe_detached_head 'Previous HEAD position was' "$old" fi |