Update gpg trusted key

FantasqueX · FantasqueX · commit 31d3a2a69dbc · 2023-01-24T08:00:33.000+01:00
Currently, private gpg receive keys from pierre@archlinux.de. However,
the latest bootstrap image is signed by pierre@archlinux.org. This patch
makes private gpg receive keys from the correct email.
diff --git a/repro.in b/repro.in
@@ -77,7 +77,7 @@ function init_gnupg() {
     # ensure signing key is available
     # We try WKD first, then fallback to keyservers.
     # This works on debian./
-    gpg --keyserver=p80.pool.sks-keyservers.net --auto-key-locate wkd,keyserver --locate-keys pierre@archlinux.de
+    gpg --keyserver=p80.pool.sks-keyservers.net --auto-key-locate wkd,keyserver --locate-keys pierre@archlinux.org
 }
 
 # Desc: Sets the appropriate colors for output

Original file line number	Diff line number	Diff line change
`@@ -77,7 +77,7 @@ function init_gnupg() {`
`77`	`77`	`# ensure signing key is available`
`78`	`78`	`# We try WKD first, then fallback to keyservers.`
`79`	`79`	`# This works on debian./`
`80`		`- gpg --keyserver=p80.pool.sks-keyservers.net --auto-key-locate wkd,keyserver --locate-keys pierre@archlinux.de`
	`80`	`+ gpg --keyserver=p80.pool.sks-keyservers.net --auto-key-locate wkd,keyserver --locate-keys pierre@archlinux.org`
`81`	`81`	`}`
`82`	`82`
`83`	`83`	`# Desc: Sets the appropriate colors for output`