From 2563f88de018eb26bfbb7474a3c8b26c4b47f49f Mon Sep 17 00:00:00 2001
From: TSRBerry <20988865+TSRBerry@users.noreply.github.com>
Date: Thu, 17 Aug 2023 19:26:21 +0200
Subject: [PATCH] Convert app and installation ids to int (#5587)

---
 .github/update_reviewers.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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: <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])