0
0
Fork 0

Convert app and installation ids to int (#5587)

This commit is contained in:
TSRBerry 2023-08-17 19:26:21 +02:00 committed by GitHub
parent b0b7843d5c
commit 2563f88de0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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.stderr.write("usage: <app_id> <private_key_env_name> <installation_id> <repo_path> <pr_id> <config_path>\n")
sys.exit(1) sys.exit(1)
app_id = sys.argv[1] app_id = int(sys.argv[1])
private_key = os.environ[sys.argv[2]] private_key = os.environ[sys.argv[2]]
installation_id = sys.argv[3] installation_id = int(sys.argv[3])
repo_path = sys.argv[4] repo_path = sys.argv[4]
pr_id = int(sys.argv[5]) pr_id = int(sys.argv[5])
config_path = Path(sys.argv[6]) config_path = Path(sys.argv[6])