From 18fc017681c667999998561443a7ce82f9a4e06e Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 9 Jan 2013 12:59:26 -0800
Subject: [PATCH] Meta/GRADUATED: do not show topics already merged to maint

---
 GRADUATED | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/GRADUATED b/GRADUATED
index 5994a73653..c04040af8b 100755
--- 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
 
-- 
2.11.4.GIT