From 266ca700c9e6012c861bdc4989c9d2b6aa8954b4 Mon Sep 17 00:00:00 2001 From: Milan Kolar Date: Mon, 28 Feb 2022 18:07:40 +0100 Subject: [PATCH] temporary fix for foreign pull request numbers in CI --- tools/ci_tools.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/ci_tools.py b/tools/ci_tools.py index e5ca0c2c28..aeb367af38 100644 --- a/tools/ci_tools.py +++ b/tools/ci_tools.py @@ -19,7 +19,10 @@ def get_release_type_github(Log, github_token): match = re.search("pull request #(\d+)", line) if match: pr_number = match.group(1) - pr = repo.get_pull(int(pr_number)) + try: + pr = repo.get_pull(int(pr_number)) + except: + continue for label in pr.labels: labels.add(label.name)