From f5ab6f85311b0a28ca0702ae8e079b2a3322f81a Mon Sep 17 00:00:00 2001 From: Heiner Lohaus Date: Sun, 21 Jan 2024 17:38:26 +0100 Subject: No PR number found --- etc/tool/copilot.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/etc/tool/copilot.py b/etc/tool/copilot.py index 21f54d6d..8c63c4ea 100644 --- a/etc/tool/copilot.py +++ b/etc/tool/copilot.py @@ -33,6 +33,8 @@ def get_pr_details(github: Github) -> PullRequest: './pr_number' with open('./pr_number', 'r') as file: pr_number = file.read() + if not pr_number: + return repo = github.get_repo(GITHUB_REPOSITORY) pull = repo.get_pull(pr_number) @@ -214,6 +216,9 @@ def main(): try: github = Github(GITHUB_TOKEN) pull = get_pr_details(github) + if not pull: + print(f"No PR number found") + exit() diff = get_diff(pull.diff_url) except Exception as e: print(f"Error get details: {e.__class__.__name__}: {e}") -- cgit v1.2.3 From 04ec265ba096ac1b71820b6243a258889f5eb773 Mon Sep 17 00:00:00 2001 From: Heiner Lohaus Date: Sun, 21 Jan 2024 17:41:40 +0100 Subject: Cast pr number --- etc/tool/copilot.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/tool/copilot.py b/etc/tool/copilot.py index 8c63c4ea..5e24e12d 100644 --- a/etc/tool/copilot.py +++ b/etc/tool/copilot.py @@ -32,7 +32,7 @@ def get_pr_details(github: Github) -> PullRequest: """ './pr_number' with open('./pr_number', 'r') as file: - pr_number = file.read() + pr_number = int(file.read()) if not pr_number: return -- cgit v1.2.3