From fa87d71872f1a6f85f5ac699290c45a6e3c8933a Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Tue, 17 Jan 2023 19:18:51 +0100
Subject: [PATCH] ci: Add missing lint dependency

---
 ci/lint/04_install.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh
index 376737d01a4..4ad1ec2fd31 100755
--- a/ci/lint/04_install.sh
+++ b/ci/lint/04_install.sh
@@ -7,7 +7,11 @@
 export LC_ALL=C
 
 ${CI_RETRY_EXE} apt-get update
-${CI_RETRY_EXE} apt-get install -y curl git gawk jq xz-utils
+# Lint dependencies:
+# - curl/xz-utils (to install shellcheck)
+# - git (used in many lint scripts)
+# - gpg (used by verify-commits)
+${CI_RETRY_EXE} apt-get install -y curl xz-utils git gpg
 
 PYTHON_PATH=/tmp/python
 if [ ! -d "${PYTHON_PATH}/bin" ]; then