add back keyservers, keys.openpgp.org doesnt work with --recv-keys

diff --git a/fsf-keyring.sh b/fsf-keyring.sh
index e29c105042c300aaa64d9f747902c614e1379905..ab13fa2baef80b2ce6c95328ddd75b0eb323f86e 100755 (executable)
--- a/fsf-keyring.sh
+++ b/fsf-keyring.sh
@@ -8,9 +8,7 @@ refresh-gpg-key() {
   key=$1
 
   error=999
-  # 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
+  for keyserver in pgp.mit.edu keyring.debian.org keys.gnupg.net; do
     set +e
     cmd="gpg --keyserver $keyserver --recv-keys $key"
     # keyservers are not very reliable, so retry