From c32ff3a7eefa84bd346f87e3418135799b267299 Mon Sep 17 00:00:00 2001
From: Dave Page <dpage@pgadmin.org>
Date: Thu, 6 May 2021 15:27:16 +0100
Subject: [PATCH] Expect the yum repo metadata to be GPG signed.

---
 pkg/redhat/repo-rpm.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkg/redhat/repo-rpm.sh b/pkg/redhat/repo-rpm.sh
index badbdbbce..974ce6935 100755
--- a/pkg/redhat/repo-rpm.sh
+++ b/pkg/redhat/repo-rpm.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # Set the repo RPM version and build
-REPO_RPM_VERSION=1
+REPO_RPM_VERSION=2
 REPO_RPM_BUILD=1
 
 # Set the repo base directory
@@ -55,6 +55,7 @@ enabled=1
 EOF
 
     if [ ${INCLUDE_KEY} -eq 1 ]; then
+        echo repo_gpgcheck=1 >> "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
         echo gpgcheck=1 >> "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
         echo gpgkey=file:///etc/pki/rpm-gpg/PGADMIN_PKG_KEY >> "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
     else