diff options
Diffstat (limited to 'etc/tool/copilot.py')
| -rw-r--r-- | etc/tool/copilot.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/tool/copilot.py b/etc/tool/copilot.py index 8c63c4ea..5e24e12d 100644 --- a/etc/tool/copilot.py +++ b/etc/tool/copilot.py @@ -32,7 +32,7 @@ def get_pr_details(github: Github) -> PullRequest: """ './pr_number' with open('./pr_number', 'r') as file: - pr_number = file.read() + pr_number = int(file.read()) if not pr_number: return |