From cbfcef78eb8857ee77ca7cf5494f20ac0e1697f7 Mon Sep 17 00:00:00 2001
From: Luis Montero <luis.montero@zama.ai>
Date: Fri, 21 Jun 2024 20:03:18 +0200
Subject: [PATCH] chore: update github cli

---
 script/make_utils/setup_os_deps.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/script/make_utils/setup_os_deps.sh b/script/make_utils/setup_os_deps.sh
index ca22b2efb..45b81a2ff 100755
--- a/script/make_utils/setup_os_deps.sh
+++ b/script/make_utils/setup_os_deps.sh
@@ -84,8 +84,9 @@ linux_install_github_cli () {
     # Installs github cli
     # https://github.com/cli/cli/blob/trunk/docs/install_linux.md#debian-ubuntu-linux-raspberry-pi-os-apt
     echo "Installing github-CLI"
-    wget https://github.com/cli/cli/releases/download/v2.14.7/gh_2.14.7_linux_amd64.deb
-    dpkg -i gh_2.14.7_linux_amd64.deb
+    export GH_CLI_VERSION="2.51.0"
+    wget https://github.com/cli/cli/releases/download/v${GH_CLI_VERSION}/gh_${GH_CLI_VERSION}_linux_amd64.deb
+    dpkg -i gh_${GH_CLI_VERSION}_linux_amd64.deb
 }
 
 OS_NAME=$(uname)