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