Code

git-reset --hard: tell the user what the HEAD was reset to
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Thu, 21 Dec 2006 14:26:35 +0000 (15:26 +0100)
committerJunio C Hamano <junkio@cox.net>
Fri, 22 Dec 2006 06:47:49 +0000 (22:47 -0800)
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-reset.sh

index 8d95e3748d2cfdaa248dee385766dedde5ff4075..2379db082f956e68a360cfbd667761490ecad5dd 100755 (executable)
@@ -86,7 +86,12 @@ update_ref_status=$?
 
 case "$reset_type" in
 --hard )
-       ;; # Nothing else to do
+       test $update_ref_status = 0 && {
+               echo -n "HEAD is now at "
+               GIT_PAGER= git log --max-count=1 --pretty=oneline \
+                       --abbrev-commit HEAD
+       }
+       ;;
 --soft )
        ;; # Nothing else to do
 --mixed )