Fix GPG servers.

diff --git a/bullseye/setup_scripts/setup_website.sh b/bullseye/setup_scripts/setup_website.sh
index 97e6c948378ce9de4e8be97d33915f3554d38ee6..99d5f4ef23a23146ff1eabb8b039ae7aeec6a98c 100755 (executable)
--- a/bullseye/setup_scripts/setup_website.sh
+++ b/bullseye/setup_scripts/setup_website.sh
@@ -74,7 +74,7 @@ cp "${config_tree_prefix}/other_files/website_hook_post-receive" /var/repos/webs
 su -lc 'cd /var/www && git clone /var/repos/website.git .' plom
 
 # Add encryption key.
-keyservers='sks-keyservers.net/ keys.gnupg.net'
+keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
 set +e
 while true; do
     do_break=0