diff options
author | 2023-07-20 20:39:49 +0200 | |
---|---|---|
committer | 2023-07-20 20:42:00 +0200 | |
commit | 189817594f3aa8db0c2ac00b3d4128ae7733da45 (patch) | |
tree | b8f93f17ef7363929076d9b11112838dc4706404 /docs | |
parent | fd077918db7643530c3a7318ed5777d2f3d8761b (diff) | |
download | iced-189817594f3aa8db0c2ac00b3d4128ae7733da45.tar.gz iced-189817594f3aa8db0c2ac00b3d4128ae7733da45.tar.bz2 iced-189817594f3aa8db0c2ac00b3d4128ae7733da45.zip |
Update `CHANGELOG`
Diffstat (limited to 'docs')
-rw-r--r-- | docs/release_summary.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/release_summary.py b/docs/release_summary.py index cd4593b5..62694d05 100644 --- a/docs/release_summary.py +++ b/docs/release_summary.py @@ -13,7 +13,7 @@ PR_COMMIT_REGEX = re.compile(r"(?i)Merge pull request #(\d+).*") def get_merged_prs_since_release(repo: str, previous_release_branch: str) -> List[Tuple[str, int, str, str]]: prs = [] - compare_url = f"https://api.github.com/repos/{repo}/compare/{previous_release_branch}...master" + compare_url = f"https://api.github.com/repos/{repo}/compare/{previous_release_branch}...master?per_page=1000" compare_response = requests.get(compare_url, headers=HEADERS) if compare_response.status_code == 200: @@ -23,7 +23,10 @@ def get_merged_prs_since_release(repo: str, previous_release_branch: str) -> Lis if match: pr_number = int(match.group(1)) pr_url = f"https://api.github.com/repos/{repo}/pulls/{pr_number}" + + print(f"Querying PR {pr_number}") pr_response = requests.get(pr_url, headers=HEADERS) + if pr_response.status_code == 200: pr_data = pr_response.json() prs.append((pr_data["title"], pr_number, pr_data["html_url"], pr_data["user"]["login"])) |