Rrutter3.5 can't be added (gpg key problem)

Happened in the following build : https://travis-ci.org/CenterForStatistics-UGent/xnet/builds/634677620

tagging @jeroen and @jimhester (although I believe the problem might be upstream)

Installing R
121.08s$ sudo add-apt-repository -y "ppa:marutter/rrutter3.5"
gpg: keyring `/tmp/tmpgi1toq1y/secring.gpg' created
gpg: keyring `/tmp/tmpgi1toq1y/pubring.gpg' created
gpg: requesting key B04C661B from hkp server keyserver.ubuntu.com
Error: retrieving gpg key timed out.
gpg: keyserver timed out
gpg: keyserver receive failed: keyserver error
The command "sudo add-apt-repository -y "ppa:marutter/rrutter3.5"" failed and exited with 1 during .

For reference: I’ve found earlier reports on a transient gpg key problem :

1 Like

Yes the Ubuntu keyservers are sometimes overloaded, it will resolve itself.