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
This commit is contained in:
Jan Christian Grünhage 2020-02-24 09:30:30 +01:00
parent 1e3ebe6c82
commit f58f601152

View file

@ -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