From 04a5e33ebea7e69b5477b89e9aea06a801c6571b Mon Sep 17 00:00:00 2001 From: Heiner Lohaus Date: Sun, 21 Jan 2024 20:04:43 +0100 Subject: Fix error in copilot --- etc/tool/copilot.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/tool/copilot.py b/etc/tool/copilot.py index 61341bb1..def3599e 100644 --- a/etc/tool/copilot.py +++ b/etc/tool/copilot.py @@ -31,12 +31,12 @@ 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().strip()) + pr_number = file.read().strip() if not pr_number: return repo = github.get_repo(GITHUB_REPOSITORY) - pull = repo.get_pull(pr_number) + pull = repo.get_pull(int(pr_number)) return pull -- cgit v1.2.3