From 31d3a2a69dbc402db9f2b75b932bba93285d7528 Mon Sep 17 00:00:00 2001 From: Letu Ren Date: Tue, 24 Jan 2023 08:00:33 +0100 Subject: [PATCH] Update gpg trusted key 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. --- repro.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repro.in b/repro.in index fb20526..b0c1fce 100755 --- 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