Re: [gentoo-dev] GPG key refresh

[Michael Orlitzky]

On 12/15/20 11:11 AM, Thomas Deutschmann wrote:

What do you mean exactly?

For Gentoo tooling, only Gentoo keyservers are important and Gentoo no longer 
synchronizes with any other pool.

"The Gentoo developer tooling explicitly checks the Gentoo keyserver 
pool with a much higher frequency" strongly implies that we check the 
non-Gentoo pools with a non-zero frequency.