WKD

Using Web Key Directory on gentoo.org
You can fetch the public key from each gentoo developer on the command line

Ressources

 * Test WKD providers online https://metacode.biz/openpgp/web-key-directory