From: Nicolas Pitre Date: Fri, 26 Jan 2007 22:26:08 GMT Subject: [PATCH 4/7] add reflog entries for HEAD when detached Message-ID: <1169850372648-git-send-email-nico@cam.org> In-Reply-To: <11698503712998-git-send-email-nico@cam.org> Signed-off-by: Nicolas Pitre --- git-checkout.sh | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/git-checkout.sh b/git-checkout.sh index c52f352..ed344d8 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 -- 1.5.0.rc2.g6e2c