Move signatures to separate file

So end users could download and source it.
haskell · Sep 26, 2023 · 2427274 · 2427274
1 parent 28ff16c
commit 2427274
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/sigs b/.github/workflows/sigs
@@ -0,0 +1,6 @@
+keys=(
+     7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C # Julian Ospald <[email protected]>
+     FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD # Ben Gamari <[email protected]>
+     88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 # Zubin Duggal <[email protected]>
+     FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01 # Bryan Richter <[email protected]>
+)
diff --git a/.github/workflows/test-sigs.sh b/.github/workflows/test-sigs.sh
@@ -13,13 +13,7 @@ get_key() {
 }
 
 # verify signature
-keys=(
-    7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C # Julian Ospald <[email protected]>
-    FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD # Ben Gamari <[email protected]>
-    88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 # Zubin Duggal <[email protected]>
-    FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01 # Bryan Richter <[email protected]>
-)
-
+. .github/workflows/sigs
 for key in "${keys[@]}" ; do
 	get_key "${key}" keys.openpgp.org || get_key "${key}" keyserver.ubuntu.com
 done