From 3ef853b5fa3634eb56dcd0b1a1878217ae536960 Mon Sep 17 00:00:00 2001 From: Blue Date: Mon, 25 Nov 2024 14:36:03 -0800 Subject: [PATCH] Use int type --- distributions/validate-modern.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/distributions/validate-modern.py b/distributions/validate-modern.py index ec0a98e9..6cac538d 100644 --- a/distributions/validate-modern.py +++ b/distributions/validate-modern.py @@ -39,7 +39,7 @@ @click.option('--repo-path', '..') @click.option('--arm64', is_flag=True) @click.option('--github-token', default=None) -@click.option('--github-pr', default=None) +@click.option('--github-pr', default=None, type=int) @click.option('--github-commit', default=None) @click.option('--debug', is_flag=True) def main(manifest: str, tar: str, compare_with_branch: str, repo_path: str, arm64: bool, github_token: str, github_pr: str, github_commit: str, debug: bool):