key=$1
error=999
- for keyserver in pool.sks-keyservers.net keyring.debian.org keys.gnupg.net; do
+ # This is the only safe keyserver we know of as of 2019-06-09,
+ # https://lwn.net/Articles/792366/
+ for keyserver in keys.openpgp.org; do
set +e
cmd="gpg --keyserver $keyserver --recv-keys $key"
# keyservers are not very reliable, so retry
KEYS+="2C31130BF7D5A459AFF2A3F3C9DFFE4A33AA52D9 " #knauth
KEYS+="43372794C8ADD5CA8FCFFA6CD03759DAB600E3C0 " #michael
KEYS+="B102017CCF698F79423EF9CC069C04D206A59505 " #zoe
+KEYS+="7CCC7ECD3D78EB384F6C02C8966951617A149C73 " #gregf
+
rm -f /tmp/keys.asc ./fsf-keyring.gpg