From dd290ccf63870b62ba6d8402217fd2dba08fb675 Mon Sep 17 00:00:00 2001
From: Martin Pitt <martin@piware.de>
Date: Tue, 12 May 2020 20:06:17 +0200
Subject: [PATCH] build-devtoolbox: Install GitHub CLI

---
 build-devtoolbox | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-devtoolbox b/build-devtoolbox
index 68a5834..386e0c5 100755
--- a/build-devtoolbox
+++ b/build-devtoolbox
@@ -44,6 +44,8 @@ sudo dnf install -y make npm fontconfig git valgrind chromium \
 
 sudo dnf debuginfo-install -y glib2 glibc libssh gnutls
 
+type gh >/dev/null 2>&1 || sudo dnf install -y $(curl -s https://api.github.com/repos/cli/cli/releases/latest | grep -o https:.*_linux_amd64.rpm)
+
 sudo dnf clean packages
 
 type aws >/dev/null 2>&1 || sudo pip install awscli
-- 
2.39.5