Consider the newest 100 pull requests in recent list

There might be old pull requests that were recently merged.
This commit is contained in:
Philipp Oppermann
2020-02-17 12:33:45 +01:00
parent c23e8f8c65
commit cdb6aabdbf

View File

@@ -21,7 +21,7 @@ def format_number(number):
with io.open("templates/auto/recent-updates.html", 'w', encoding='utf8') as recent_updates: with io.open("templates/auto/recent-updates.html", 'w', encoding='utf8') as recent_updates:
recent_updates.truncate() recent_updates.truncate()
relnotes_issues = g.search_issues("is:merged", repo="phil-opp/blog_os", type="pr", label="relnotes")[:10] relnotes_issues = g.search_issues("is:merged", repo="phil-opp/blog_os", type="pr", label="relnotes")[:100]
recent_relnotes_issues = filter(filter_date, relnotes_issues) recent_relnotes_issues = filter(filter_date, relnotes_issues)
if len(recent_relnotes_issues) == 0: if len(recent_relnotes_issues) == 0: