diff options
Diffstat (limited to '')
| -rw-r--r-- | etc/tool/copilot.py | 4 |
1 files 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 |