summaryrefslogtreecommitdiffstats
path: root/etc
diff options
context:
space:
mode:
Diffstat (limited to 'etc')
-rw-r--r--etc/tool/copilot.py5
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}")