From f58f601152c3b9792f7007930b12e8532b8a24b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Christian=20Gr=C3=BCnhage?=
 <jan.christian@gruenhage.xyz>
Date: Mon, 24 Feb 2020 09:30:30 +0100
Subject: [PATCH] specify a keyserver when fetching the pgp key

this needs to be done to ensure we're not fetching
the key from a server that doesn't server UIDs,
like keys.openpgp.org does, because then the key
fails to be imported correctly
---
 tasks/download.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tasks/download.yml b/tasks/download.yml
index 144d1a9..30be21d 100644
--- a/tasks/download.yml
+++ b/tasks/download.yml
@@ -27,6 +27,7 @@
         gpg --no-default-keyring
         --homedir /tmp/gpg-tmp
         --keyring /tmp/gpg-tmp/riot-key
+        --keyserver hkps://keyserver.ubuntu.com
         --recv-keys 5EA7E0F70461A3BCBEBE4D5EF6151806032026F9
       register: get_riot_gpg_key
       until: get_riot_gpg_key.rc == 0