On Wed, Jul 03, 2019 at 02:13:12PM -0400, Leo Famulari wrote:
An update on this:
The initial plan is to add the Guix signing key to the new
abuse-resistant keyserver at <keys.openpgp.org>. Once that has been
done
we can update the manual and HACKING to point at this.
This didn't happen, but the instructions have been changed to suggest
fetching the key directly from Savannah [0]. Additionally, the docs
about where to put one's commit signing key have also been updated [1].
[0]
https://git.savannah.gnu.org/cgit/guix.git/commit/?id=ffae5a7946912ffd69dd4b608576cf2d75931fb2
[1]
https://git.savannah.gnu.org/cgit/guix.git/commit/?id=06e1ecbf17fee7fe513ad2808d8175fb3565ae3e