Meta/GRADUATED: do not show topics already merged to maint

diff --git a/GRADUATED b/GRADUATED
index 5994a736538f7fd0e80f1ff6ab8c4ba144c74595..c04040af8b0741a052126dd2ffc7fcb6d6f99b36 100755 (executable)
--- a/GRADUATED
+++ b/GRADUATED
@@ -48,8 +48,12 @@ one_topic () {
 
        mergeable=no ready=no label=
 
-       master_count=$(git rev-list "$base..$tip" | wc -l)
        maint_count=$(git rev-list "maint..$tip" | wc -l)
+       if test "$maint_count" = 0
+       then
+               return ;# already merged
+       fi
+       master_count=$(git rev-list "$base..$tip" | wc -l)
 
        test $master_count = $maint_count && mergeable=yes