diff options
author | 2022-06-11 22:21:25 +0100 | |
---|---|---|
committer | 2022-06-11 22:21:25 +0100 | |
commit | 0c6dc04330ee350d0a1d60b0862678f1f8ce1cca (patch) | |
tree | c848e01dd085dbe97e8107a126f50da14b7b676e /inside-gentoo | |
parent | inside-gentoo/developers: linkify fingerprints to keys.gentoo.org (diff) | |
download | www-0c6dc04330ee350d0a1d60b0862678f1f8ce1cca.tar.gz www-0c6dc04330ee350d0a1d60b0862678f1f8ce1cca.tar.bz2 www-0c6dc04330ee350d0a1d60b0862678f1f8ce1cca.zip |
inside-gentoo/developers: add explicit link to keys.gentoo.org, add WKD instructions
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'inside-gentoo')
-rw-r--r-- | inside-gentoo/developers/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/inside-gentoo/developers/index.html b/inside-gentoo/developers/index.html index 902182e..39553f5 100644 --- a/inside-gentoo/developers/index.html +++ b/inside-gentoo/developers/index.html @@ -26,6 +26,11 @@ layout: page-nav3 </p> <p> + Developer PGP keys can be obtained via Gentoo's keyserver at <a href="https://keys.gentoo.org/">keys.gentoo.org</a> or via WKD + using <code>gpg --auto-key-locate=clear,nodefault,wkd --locate-key larry@gentoo.org</code>. +</p> + +<p> <i>Legend:</i> <ul> <li><span class="text-success">[g]</span> indicates the developer has commit access to the <a href="https://gitweb.gentoo.org/repo/gentoo.git" style="font-family: monospace; font-size: 95%">repo/gentoo.git</a> repository.</li> |