git-debrebase: update_head_postlaunder: print a message, if anything changed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/git-debrebase b/git-debrebase
index b3a78ae2f0139678d2271e5db146bb454fcdfa53..2fa4947e69f6f175e826651b8c4320974a272b93 100755 (executable)
--- a/git-debrebase
+++ b/git-debrebase
@@ -788,6 +788,8 @@ sub update_head_checkout ($$$) {
 
 sub update_head_postlaunder ($$$) {
     my ($old, $tip, $reflogmsg) = @_;
 
 sub update_head_postlaunder ($$$) {
     my ($old, $tip, $reflogmsg) = @_;

+    return if $tip eq $old;
+    print "git-debrebase: laundered (head was $old)\n";

     update_head $old, $tip, $reflogmsg;
     # no tree changes except debian/patches
     runcmd @git, qw(rm --quiet --ignore-unmatch -rf debian/patches);
     update_head $old, $tip, $reflogmsg;
     # no tree changes except debian/patches
     runcmd @git, qw(rm --quiet --ignore-unmatch -rf debian/patches);