Update gpg trusted key

Currently, private gpg receive keys from [email protected]. However, the latest bootstrap image is signed by [email protected]. This patch makes private gpg receive keys from the correct email.
archlinux · Jan 24, 2023 · 31d3a2a · 31d3a2a
1 parent 5c837b8
commit 31d3a2a
Showing 1 changed file with 1 addition and 1 deletion.
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