Change the keyserver pool (#14)

The keyserver pools provided by sks-keyservers (https://sks-keyservers.net/) are all gone. In their web site you can read: "Update 2021-06-21: Due to even more GDPR takedown requests, the DNS records for the pool will no longer be provided at all." Therefore now the key is taken from http://keyserver.ubuntu.com/
marvel-nccr · Jun 22, 2021 · fcc1129 · fcc1129
1 parent 4b6cd49
commit fcc1129
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tasks/singularity.yml b/tasks/singularity.yml
@@ -3,7 +3,7 @@
   become: true
   apt_key:
     id: 'DD95CC430502E37EF840ACEEA5D32F012649A5A9'
-    keyserver: hkp://pool.sks-keyservers.net
+    keyserver: hkp://keyserver.ubuntu.com
 
 - name: Add neurodebian repo
   become: true