aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2022-06-11 22:21:25 +0100
committerSam James <sam@gentoo.org>2022-06-11 22:21:25 +0100
commit0c6dc04330ee350d0a1d60b0862678f1f8ce1cca (patch)
treec848e01dd085dbe97e8107a126f50da14b7b676e
parentinside-gentoo/developers: linkify fingerprints to keys.gentoo.org (diff)
downloadwww-0c6dc04.tar.gz
www-0c6dc04.tar.bz2
www-0c6dc04.zip
inside-gentoo/developers: add explicit link to keys.gentoo.org, add WKD instructionsHEADmaster
Signed-off-by: Sam James <sam@gentoo.org>
-rw-r--r--inside-gentoo/developers/index.html5
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>