diff options
| author | Nicolas Pitre <nico@cam.org> | 2007-01-26 17:26:08 -0500 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-01-28 02:16:46 -0800 |
| commit | e1dde3d06c7caa242dd4b419aebb9a9b7fee2d48 (patch) | |
| tree | c299da76981ed2815b9e190ce845d16aa3889036 | |
| parent | bd104db164d7f2a714aa0f1cdf89fd89fee6c00a (diff) | |
| download | git-e1dde3d06c7caa242dd4b419aebb9a9b7fee2d48.tar.gz git-e1dde3d06c7caa242dd4b419aebb9a9b7fee2d48.tar.xz | |
add reflog entries for HEAD when detached
Signed-off-by: Nicolas Pitre <nico@cam.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | git-checkout.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/git-checkout.sh b/git-checkout.sh index 8500f51ea..ac378cdb1 100755 --- a/git-checkout.sh +++ b/git-checkout.sh @@ -259,8 +259,9 @@ if [ "$?" -eq 0 ]; then # git update-ref --detach HEAD $new # or something like that... # - echo "$detached" >"$GIT_DIR/HEAD.new" && - mv "$GIT_DIR/HEAD.new" "$GIT_DIR/HEAD" || + git-rev-parse HEAD >"$GIT_DIR/HEAD.new" && + mv "$GIT_DIR/HEAD.new" "$GIT_DIR/HEAD" && + git-update-ref -m "checkout: moving to $arg" HEAD "$detached" || die "Cannot detach HEAD" if test -n "$detach_warn" then |