From 57cbf6184a88a0e06413ca89e27118d23402a863 Mon Sep 17 00:00:00 2001
From: "Robin H. Johnson" <robbat2@gentoo.org>
Date: Tue, 11 Jan 2022 12:38:31 -0800
Subject: local/require-signed-push: fix missing redirection

Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
---
 local/require-signed-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local/require-signed-push b/local/require-signed-push
index 5aaf554..dd6fb23 100755
--- a/local/require-signed-push
+++ b/local/require-signed-push
@@ -162,7 +162,7 @@ case ${VERIFY_SIGS} in
 		fi
 
 		# find key fingerprints in LDAP
-		mapfile -t KEY_FPS <( \
+		mapfile -t KEY_FPS < <( \
 			ldapsearch -o ldif-wrap=no -x -D '' -Z -LLL \
 					"uid=${GL_USER%@gentoo.org}" \
 					gpgfingerprint \
-- 
cgit v1.2.3-65-gdbad