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

gitster · gitster · commit 18fc017681c6 · 2013-01-09T12:59:26.000-08:00
diff --git 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
 
