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(+) (limited to 'etc') 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