From 42b67f5fd675b69737066ac806fa85673d89c917 Mon Sep 17 00:00:00 2001
From: Adam Hellberg <sharparam@sharparam.com>
Date: Sun, 3 Mar 2024 14:34:49 +0100
Subject: [PATCH] [gpg] Add mailvelope key server to send-key helper

---
 bin/send-key | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/send-key b/bin/send-key
index 4982fed..61f370b 100755
--- a/bin/send-key
+++ b/bin/send-key
@@ -13,6 +13,8 @@ echo "Publishing to GnuPG keyserver"
 gpg --keyserver keys.gnupg.net --send-key "$KEYID"
 echo "Publishing to Ubuntu keyserver"
 gpg --keyserver hkps://keyserver.ubuntu.com:443 --send-key "$KEYID"
+echo "Publishing to Mailvelope keyserver"
+gpg --keyserver hkps://keys.mailvelope.com --send-key "$KEYID"
 
 if [ "$KEYID" = "$DEFAULT_KEYID" ]; then
   echo "Publishing key to keys.openpgp.org, this will require verification!"
-- 
2.51.2