Meta/ML: show the name of the topic even if it has advanced since merged

diff --git a/ML b/ML
index b4f56ab00abb13ea3f2b4921091fe648ce988d85..f8376cd2afd7a1c4d28e28713b9656d29cac49ba 100755 (executable)
--- a/ML
+++ b/ML
@@ -29,7 +29,7 @@ search_topics () {
                elif tip=$(git rev-parse --verify "refs/heads/$topic") &&
                     test "$tip" != "$full_sha1"
                then
-                       echo >&2 "$tip moved from $sha1"
+                       echo >&2 "$topic # $tip moved from $sha1"
                        continue
                fi