From d9386946cffa2b92fb9d3a1a83481aaebdc18adf Mon Sep 17 00:00:00 2001 From: Heiner Lohaus Date: Sun, 21 Jan 2024 20:01:53 +0100 Subject: [PATCH] Fix error in copilot --- 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 6ee1fb0d..61341bb1 100644 --- a/etc/tool/copilot.py +++ b/etc/tool/copilot.py @@ -31,7 +31,7 @@ def get_pr_details(github: Github) -> PullRequest: PullRequest: An object representing the pull request. """ with open('./pr_number', 'r') as file: - pr_number = int(file.read()) + pr_number = int(file.read().strip()) if not pr_number: return