On 21.05.2020 20:31, Todd Fleisher wrote:
Cc’ing the list in case someone else has a good, current copy of it and
could send it my way.
Kristian's key can be retrieved through Gentoo's Web Key Directory:
Check list of developers here:
https://gentoo.org/inside-gentoo/developers/Kristian's user name is "k_f".
Funny thing that when I do "gpg --locate-key address@hidden" it says
"WKD: Provided object is too large" (the key is 412kB) but you can fetch
it manually from the WKD endpoint with:
$ gpg --fetch-key
"https://gentoo.org/.well-known/openpgpkey/hu/gd818fuu6rmaro6q6qqdtffzzagppfwo?l=k_f"
I had hoped the instructions would be more straightforward when I
remembered about the Gentoo WKD installation but well... at least it works.
Have a nice evening!
Kind regards,
Wiktor
--
https://metacode.biz/@wiktor