Move signatures to separate file

This commit is contained in:
Julian Ospald 2023-09-30 00:05:30 +08:00
parent ac43fb74c8
commit d9fe82364c
No known key found for this signature in database
GPG Key ID: 4275CDA6A29BED43
2 changed files with 7 additions and 6 deletions

6
.github/workflows/sigs vendored Normal file
View File

@ -0,0 +1,6 @@
keys=(
7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C # Julian Ospald <maerwald@hasufell.de>
FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD # Ben Gamari <ben@well-typed.com>
88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 # Zubin Duggal <zubin@well-typed.com>
EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF # Hécate <hecate@glitchbra.in>
)

View File

@ -13,12 +13,7 @@ get_key() {
} }
# verify signature # verify signature
keys=( . .github/workflows/sigs
7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C # Julian Ospald <maerwald@hasufell.de>
FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD # Ben Gamari <ben@well-typed.com>
88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 # Zubin Duggal <zubin@well-typed.com>
EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF # Hécate <hecate@glitchbra.in>
)
for key in "${keys[@]}" ; do for key in "${keys[@]}" ; do
get_key "${key}" keys.openpgp.org || get_key "${key}" keyserver.ubuntu.com get_key "${key}" keys.openpgp.org || get_key "${key}" keyserver.ubuntu.com