diff --git a/.github/update_reviewers.py b/.github/update_reviewers.py index dd1b1e5663..955d40e7c1 100644 --- a/.github/update_reviewers.py +++ b/.github/update_reviewers.py @@ -62,9 +62,9 @@ if __name__ == "__main__": sys.stderr.write("usage: \n") sys.exit(1) - app_id = sys.argv[1] + app_id = int(sys.argv[1]) private_key = os.environ[sys.argv[2]] - installation_id = sys.argv[3] + installation_id = int(sys.argv[3]) repo_path = sys.argv[4] pr_id = int(sys.argv[5]) config_path = Path(sys.argv[6])