diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-31 16:40:58 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-16 12:25:49 +0100 |
commit | 56e6081eca79352f4a79198dbaff40c8611db05f (patch) | |
tree | 9ef8df068fe0716cef160013b9ef85f32a7a7806 /git-debrebase | |
parent | d70807ddc00b2d3313076fe81264db36a6c00260 (diff) |
git-debrebase: update_head_postlaunder: print a message, if anything changed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'git-debrebase')
-rwxr-xr-x | git-debrebase | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/git-debrebase b/git-debrebase index b3a78ae..2fa4947 100755 --- a/git-debrebase +++ b/git-debrebase @@ -788,6 +788,8 @@ sub update_head_checkout ($$$) { 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); |