Subject: Re: bug#37789: guix pull: error: You found a bug: the program

From: Ludovic Courtès <[email-masked]>
Date: Thu, 17 Oct 2019 21:34:13 +0200

Hi George,

George Clemmer <[email-masked]> skribis:

>   (public-key 
>    (ecc 
>     (curve Ed25519)
>     (q #C38DCF2B0EBE663B9450BEFB0E77DFAF6643E8E971318F7002721076ED9C9788#)
>     )

This is not the key of ci.guix.gnu.org.

The key of ci.guix.gnu.org is the following (make sure to check the
signature on this message):

--8<---------------cut here---------------start------------->8---
(public-key 
 (ecc 
  (curve Ed25519)
  (q #8D156F295D24B0D9A86FA5741A840FF2D24F60F7B6C4134814AD55625971B394#)
  )
 )
--8<---------------cut here---------------end--------------->8---

This is the one you need to authorize as described at
<https://guix.gnu.org/manual/en/html_node/Substitute-Server-Authorization.html>.

HTH,
Ludo’.