<div dir="ltr">Ingo: I just set up gossip with the SKS pool but it hasn't synced anything yet.<div>Luca: No. I can set up hkp over 80 if it's really needed, but I'd rather not (if we want to use that server to run something else over port 80).</div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><br>Freundliche Grüße<br>Boudhayan Gupta<br>KDE e.V. - Community Working Group<br>+49 151 71032970</div></div></div></div>
<br><div class="gmail_quote">On 24 July 2017 at 14:47, Luca Beltrame <span dir="ltr"><<a href="mailto:lbeltrame@kde.org" target="_blank">lbeltrame@kde.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Il giorno Mon, 24 Jul 2017 12:51:42 +0200<br>
Boudhayan Gupta <<a href="mailto:bgupta@kde.org">bgupta@kde.org</a>> ha scritto:<br>
<span class=""><br>
> You can of course add a new line to ~/.gnupg/dirmngr.conf to add this<br>
> keyserver to your list of keyservers.<br>
<br>
</span>Is this reachable also on port 80? My workplace blocks hkp ports.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Luca Beltrame - KDE Forums team<br>
KDE Science supporter<br>
GPG key ID: 6E1A4E79<br>
<br>
<br>
</font></span></blockquote></div><br></div>