diff options
| author | TSRBerry <20988865+TSRBerry@users.noreply.github.com> | 2023-08-17 19:26:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-17 19:26:21 +0200 |
| commit | 2563f88de018eb26bfbb7474a3c8b26c4b47f49f (patch) | |
| tree | bb4521e797f0d1eaa33d90b89b9fd6ee053fdf25 | |
| parent | b0b7843d5c7372db60211255be0edfcb97dcb56d (diff) | |
Convert app and installation ids to int (#5587)
| -rw-r--r-- | .github/update_reviewers.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/update_reviewers.py b/.github/update_reviewers.py index dd1b1e56..955d40e7 100644 --- a/.github/update_reviewers.py +++ b/.github/update_reviewers.py @@ -62,9 +62,9 @@ if __name__ == "__main__": sys.stderr.write("usage: <app_id> <private_key_env_name> <installation_id> <repo_path> <pr_id> <config_path>\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]) |