diff options
| -rw-r--r-- | etc/tool/copilot.py | 5 |
1 files changed, 5 insertions, 0 deletions
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}") |