Meta/CheckPush: mark "diff next..jch" output as such

diff --git a/CheckPush b/CheckPush
index b8cb3fc3aeec58c9136cd599a1b69c9ca33781c5..7ce0d9a411f94dd44ab05b269683619f574d3c37 100755 (executable)
--- a/CheckPush
+++ b/CheckPush
@@ -47,5 +47,6 @@ then
                echo "master..$next..next..$jch..jch..$pu..pu"
        fi
 else
+       echo "git diff --stat next jch"
        git diff --stat next jch
 fi