mirror of
https://github.com/git/git.git
synced 2026-08-10 17:15:14 +00:00
Meta/GRADUATED: do not show topics already merged to maint
This commit is contained in:
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user