From bf502c718806d7711c584078648803affa67e127 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 24 Oct 2013 00:54:12 +0200
Subject: [PATCH] gnupg/gpg.conf: Ignore keyserver preferences on public keys.

---
 gnupg/gpg.conf | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gnupg/gpg.conf b/gnupg/gpg.conf
index 57839cc..2cbec14 100644
--- a/gnupg/gpg.conf
+++ b/gnupg/gpg.conf
@@ -68,6 +68,11 @@ s2k-digest-algo SHA512
 # Use the given keyserver.
 keyserver hkp://pool.sks-keyservers.net
 
+# Don't use the preferred keyserver of the key, but our keyserver pool
+# instead. This way we won't use any broken keyservers like pgp.mit.edu
+# specified by the key.
+keyserver-options no-honor-keyserver-url
+
 
 # MY KEYS
 
-- 
2.45.2