utils/github: display max 20 closed PRs.

Closes #5553.
This commit is contained in:
Mike McQuaid 2019-01-19 17:17:21 +00:00
parent cf32929116
commit ec5ce4b180
No known key found for this signature in database
GPG Key ID: 48A898132FD8EE70

View File

@ -279,7 +279,7 @@ module GitHub
open_prs open_prs
else else
puts "Closed pull requests:" unless open_or_closed_prs.empty? puts "Closed pull requests:" unless open_or_closed_prs.empty?
open_or_closed_prs open_or_closed_prs.take(20)
end end
prs.each { |i| puts "#{i["title"]} (#{i["html_url"]})" } prs.each { |i| puts "#{i["title"]} (#{i["html_url"]})" }