From df95cb74a6a106ccf883f25bc5b987a27b36c665 Mon Sep 17 00:00:00 2001
From: dbh201 <47301809+dbh201@users.noreply.github.com>
Date: Fri, 23 Sep 2022 07:47:53 +0200
Subject: [PATCH] userland-tools: use working gpg keyserver

---
 tools/.gnupg/gpg.conf |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/tools/.gnupg/gpg.conf b/tools/.gnupg/gpg.conf
index c9f97a9..7e5beda 100644
--- a/tools/.gnupg/gpg.conf
+++ b/tools/.gnupg/gpg.conf
@@ -5,5 +5,8 @@
 # installations it should be enabled.
 require-cross-certification
 
-keyserver hkp://keys.gnupg.net
-keyserver-options honor-http-proxy auto-key-retrieve
+keyserver hkps://keyserver.ubuntu.com:443
+#keyserver hkps://keys.openpgp.org:443
+#keyserver hkps://keys.mailvelope.com:443
+
+keyserver-options auto-key-retrieve

--
Gitblit v1.9.3