From 04ec265ba096ac1b71820b6243a258889f5eb773 Mon Sep 17 00:00:00 2001 From: Heiner Lohaus Date: Sun, 21 Jan 2024 17:41:40 +0100 Subject: Cast pr number --- etc/tool/copilot.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc') 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 -- cgit v1.2.3