Graph-tool public key isn't available on gpg server anymore
We're running graph-tool inside docker and since yesterday evening (European time) the container can't connect with the gpg server anymore:
Step 4/13 : RUN apt-key adv --keyserver pgp.skewed.de --recv-key 612DEFB798507F25
---> Running in 25197e311f2c
Executing: /tmp/tmp.w1ajbjcZMn/gpg.1.sh --keyserver
pgp.skewed.de
--recv-key
612DEFB798507F25
gpg: requesting key 98507F25 from hkp server pgp.skewed.de
?: pgp.skewed.de: Connection refused
gpgkeys: HTTP fetch error 7: couldn't connect: Connection refused
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0
gpg: keyserver communications error: keyserver unreachable
gpg: keyserver communications error: public key not found
gpg: keyserver receive failed: public key not found
The command '/bin/sh -c apt-key adv --keyserver pgp.skewed.de --recv-key 612DEFB798507F25' returned a non-zero code: 2
The command "deployment/build-server.sh ." failed and exited with 2 during .
This can be seen in this travis build and every build thereafter.
I tried to look up the key manually but it seems that the gpg server doesn't know the graph-tool public key anymore.