From 12a8215e6285abde0da645e8b6802113a9a4b90c Mon Sep 17 00:00:00 2001
From: Olaf Meeuwissen <paddy-hack@member.fsf.org>
Date: Mon, 7 Aug 2017 21:33:18 +0900
Subject: [PATCH] Access keyservers via HTTP

It seems GitLab.com builds block the default hkp port (11371).
---
 migrate.df | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/migrate.df b/migrate.df
index 8013b6c..0c4744b 100644
--- a/migrate.df
+++ b/migrate.df
@@ -13,7 +13,7 @@ RUN url=http://auto.mirror.devuan.org/merged \
     && echo "deb $url jessie-security main" >> /etc/apt/sources.list \
     && (rm /etc/apt/sources.list.d/* || true) \
     && apt-key adv \
-               --keyserver hkp://pool.sks-keyservers.net \
+               --keyserver hkp://p80.pool.sks-keyservers.net:80 \
                --recv-keys 72E3CB773315DFA2E464743D94532124541922FB \
     && apt-get update \
     && DEBIAN_FRONTEND=noninteractive apt-get dist-upgrade -y \