[pkg-gnupg-maint] Bug#931339: gnupg: Change default keyserver?

[Guillem Jover]

Hi!

On Tue, 2019-07-02 at 15:55:32 +0200, Guillem Jover wrote:
> Package: dirmngr
> Version: 2.2.16-2
> Severity: wishlist

> According to the dirmngr(8) man page, the default built-in server is
> «hkps://hkps.pool.sks-keyservers.net». Given the recent attacks, and
> the problems inherent in that network, could we just change the
> default to be «hkps://keys.openpgp.org» instead?

Thanks for implementing this Daniel! I guess this can be closed now,
although it would be nice to change or remove the references to
hkp://keys.gnupg.net in the docs which seem rather confusing given
the resemblance of both domain names, also because it does not use
hkps, and would be IMO bad advice given the current circumstances.

Thanks,
Guillem