diff --git a/git-reset.sh b/git-reset.sh
index 8d95e3748d2cfdaa248dee385766dedde5ff4075..2379db082f956e68a360cfbd667761490ecad5dd 100755 (executable)
--- a/git-reset.sh
+++ b/git-reset.sh
case "$reset_type" in
--hard )
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 )
--soft )
;; # Nothing else to do
--mixed )