summaryrefslogtreecommitdiff
path: root/git-debrebase
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-01-31 16:40:58 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-06-16 12:25:49 +0100
commit56e6081eca79352f4a79198dbaff40c8611db05f (patch)
tree9ef8df068fe0716cef160013b9ef85f32a7a7806 /git-debrebase
parentd70807ddc00b2d3313076fe81264db36a6c00260 (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-xgit-debrebase2
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);