diff options
| -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> |