From f5ab6f85311b0a28ca0702ae8e079b2a3322f81a Mon Sep 17 00:00:00 2001
From: Heiner Lohaus <hlohaus@users.noreply.github.com>
Date: Sun, 21 Jan 2024 17:38:26 +0100
Subject: [PATCH] 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}")