From 62c55a1893823487d2741d26b71726ef5dc42ba4 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Fri, 22 Sep 2023 10:43:02 -0400
Subject: [PATCH] test-sigs: Fix key validation

My personal key was added here instead of the ben@well-typed.com key
which I use for signing GHC-related things.
---
 .github/workflows/test-sigs.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test-sigs.sh b/.github/workflows/test-sigs.sh
index 25f7853..4549668 100755
--- a/.github/workflows/test-sigs.sh
+++ b/.github/workflows/test-sigs.sh
@@ -13,7 +13,12 @@ get_key() {
 }
 
 # verify signature
-keys=( 7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01 88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 )
+keys=(
+    7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C # Julian Ospald <maerwald@hasufell.de>
+    FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD # Ben Gamari <ben@well-typed.com>
+    88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 # Zubin Duggal <zubin@well-typed.com>
+)
+
 for key in "${keys[@]}" ; do
 	get_key "${key}" keys.openpgp.org || get_key "${key}" keyserver.ubuntu.com
 done