<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Is SSH working on <a href="http://gitlab.haskell.org">gitlab.haskell.org</a>?  I'm getting this</div><div class="gmail_default" style="font-family:tahoma,sans-serif;margin-left:40px"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;margin-left:40px"><span style="font-family:monospace">simonpj@CDW-8FABODHF0V5:~$ ssh -v <a href="mailto:git@gitlab.haskell.org">git@gitlab.haskell.org</a><br>OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f  31 Mar 2020<br>debug1: Reading configuration data /home/simonpj/.ssh/config<br>debug1: Reading configuration data /etc/ssh/ssh_config<br>debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files<br>debug1: /etc/ssh/ssh_config line 21: Applying options for *<br>debug1: Connecting to <a href="http://gitlab.haskell.org">gitlab.haskell.org</a> [145.40.64.137] port 22.<br>debug1: Connection established.<br>debug1: identity file /home/simonpj/.ssh/id_rsa type 0<br>debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1<br>debug1: identity file /home/simonpj/.ssh/id_dsa type 1<br>debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1<br>debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1<br>debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1<br>debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1<br>debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1<br>debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3<br>debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1<br>debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1<br>debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1<br>debug1: identity file /home/simonpj/.ssh/id_xmss type -1<br>debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1<br>debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">At this point it hangs.  <a href="https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after-connection-established">Stackoverflow suggests </a>a server fault.  But I'm on a new WLAN so I suppose there could be some bizarre filtering?</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div></div>