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

FWIW if I try the same command I get all the way through to a normal
exit (which I guess is expected since you're not supposed to be able
to actually obtain a shell via ssh!) so I guess the problem is
specific to you, Simon.
Tom
OpenSSH_8.4p1 Debian-5+deb11u1, OpenSSL 1.1.1n 15 Mar 2022
debug1: Reading configuration data /home/tom/.ssh/config
debug1: Reading configuration data /etc/ssh/ssh_config
debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files
debug1: /etc/ssh/ssh_config line 21: Applying options for *
debug1: Connecting to gitlab.haskell.org [2604:1380:61:2300::1] port 22.
debug1: Connection established.
debug1: identity file <redacted>
debug1: Local version string SSH-2.0-OpenSSH_8.4p1 Debian-5+deb11u1
debug1: Remote protocol version 2.0, remote software version OpenSSH_9.1
debug1: match: OpenSSH_9.1 pat OpenSSH* compat 0x04000000
debug1: Authenticating to gitlab.haskell.org:22 as 'git'
debug1: SSH2_MSG_KEXINIT sent
debug1: SSH2_MSG_KEXINIT received
debug1: kex: algorithm: curve25519-sha256
debug1: kex: host key algorithm: ssh-ed25519
debug1: kex: server->client cipher: chacha20-poly1305@openssh.com MAC: <implicit> compression: none
debug1: kex: client->server cipher: chacha20-poly1305@openssh.com MAC: <implicit> compression: none
debug1: expecting SSH2_MSG_KEX_ECDH_REPLY
debug1: Server host key: ssh-ed25519 SHA256:/dI7zsBRZNPB+0TqskF7rSaZ/LhQw0cF4c5W+4uMlRo
debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host key.
debug1: Found key in <redacted>
debug1: rekey out after 134217728 blocks
debug1: SSH2_MSG_NEWKEYS sent
debug1: expecting SSH2_MSG_NEWKEYS
debug1: SSH2_MSG_NEWKEYS received
debug1: rekey in after 134217728 blocks
debug1: Will attempt key: <redacted>
debug1: SSH2_MSG_EXT_INFO received
debug1: kex_input_ext_info: server-sig-algs=
Is SSH working on gitlab.haskell.org? I'm getting this
simonpj@CDW-8FABODHF0V5:~$ ssh -v git@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files debug1: /etc/ssh/ssh_config line 21: Applying options for * debug1: Connecting to gitlab.haskell.org [145.40.64.137] port 22. debug1: Connection established. debug1: identity file /home/simonpj/.ssh/id_rsa type 0 debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_dsa type 1 debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3 debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_xmss type -1 debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1 debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4
At this point it hangs. Stackoverflow suggests https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after...a server fault. But I'm on a new WLAN so I suppose there could be some bizarre filtering?

Hi Simon,
I'm on vacation this week and can't help or attempt to reproduce. I
suspect, however, this is going to get better on its own. Any evidence for
or against intermittent network issues that anyone can provide, now or any
other time, would help me look into this later. For example, are there
correlations between ssh and website issues? Does CI have network issues at
the same time? Etc.
Good luck.
On Thu, 22 Jun 2023, 13.15 Simon Peyton Jones,
Is SSH working on gitlab.haskell.org? I'm getting this
simonpj@CDW-8FABODHF0V5:~$ ssh -v git@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files debug1: /etc/ssh/ssh_config line 21: Applying options for * debug1: Connecting to gitlab.haskell.org [145.40.64.137] port 22. debug1: Connection established. debug1: identity file /home/simonpj/.ssh/id_rsa type 0 debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_dsa type 1 debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3 debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_xmss type -1 debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1 debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4
At this point it hangs. Stackoverflow suggests https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after...a server fault. But I'm on a new WLAN so I suppose there could be some bizarre filtering?
Thanks
Simon
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Simon Peyton Jones
Is SSH working on gitlab.haskell.org? I'm getting this
simonpj@CDW-8FABODHF0V5:~$ ssh -v git@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files debug1: /etc/ssh/ssh_config line 21: Applying options for * debug1: Connecting to gitlab.haskell.org [145.40.64.137] port 22. debug1: Connection established. debug1: identity file /home/simonpj/.ssh/id_rsa type 0 debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_dsa type 1 debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3 debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_xmss type -1 debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1 debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4
At this point it hangs. Stackoverflow suggests https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after...a server fault. But I'm on a new WLAN so I suppose there could be some bizarre filtering?
I suspect this may be a filtering issue. Like Tom, I am able to connect without issue. A Wireshark trace [1] may help shed light on the situation. Happy to have a call to debug if this would be helpful. Cheers, - Ben [1] https://www.wireshark.org/

Hi Simon,
Did this, in fact, work itself out?
On Thu, 22 Jun 2023 at 18:43, Ben Gamari
Simon Peyton Jones
writes: Is SSH working on gitlab.haskell.org? I'm getting this
simonpj@CDW-8FABODHF0V5:~$ ssh -v git@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files debug1: /etc/ssh/ssh_config line 21: Applying options for * debug1: Connecting to gitlab.haskell.org [145.40.64.137] port 22. debug1: Connection established. debug1: identity file /home/simonpj/.ssh/id_rsa type 0 debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_dsa type 1 debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3 debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_xmss type -1 debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1 debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4
At this point it hangs. Stackoverflow suggests < https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after... a server fault. But I'm on a new WLAN so I suppose there could be some bizarre filtering?
I suspect this may be a filtering issue. Like Tom, I am able to connect without issue. A Wireshark trace [1] may help shed light on the situation. Happy to have a call to debug if this would be helpful.
Cheers,
- Ben
[1] https://www.wireshark.org/ _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Thanks for following up.
I came home from hospital, and it was fine at home. Maybe there was
something strange in their Wifi. If I was there for longer I'd have had
to investigate more (somehow) but it was a thankfully brief stay.
Simon
On Tue, 27 Jun 2023 at 07:29, Bryan Richter
Hi Simon,
Did this, in fact, work itself out?
On Thu, 22 Jun 2023 at 18:43, Ben Gamari
wrote: Simon Peyton Jones
writes: Is SSH working on gitlab.haskell.org? I'm getting this
simonpj@CDW-8FABODHF0V5:~$ ssh -v git@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files debug1: /etc/ssh/ssh_config line 21: Applying options for * debug1: Connecting to gitlab.haskell.org [145.40.64.137] port 22. debug1: Connection established. debug1: identity file /home/simonpj/.ssh/id_rsa type 0 debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_dsa type 1 debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3 debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_xmss type -1 debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1 debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4
At this point it hangs. Stackoverflow suggests < https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after... a server fault. But I'm on a new WLAN so I suppose there could be some bizarre filtering?
I suspect this may be a filtering issue. Like Tom, I am able to connect without issue. A Wireshark trace [1] may help shed light on the situation. Happy to have a call to debug if this would be helpful.
Cheers,
- Ben
[1] https://www.wireshark.org/ _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Ah - my bet is that the hospital's IT department were simply blocking ssh as a "better safe than sorry" infosec policy. On Tue, 27 Jun 2023 at 12:37, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:
Thanks for following up.
I came home from hospital, and it was fine at home. Maybe there was something strange in their Wifi. If I was there for longer I'd have had to investigate more (somehow) but it was a thankfully brief stay.
Simon
On Tue, 27 Jun 2023 at 07:29, Bryan Richter
wrote: Hi Simon,
Did this, in fact, work itself out?
On Thu, 22 Jun 2023 at 18:43, Ben Gamari
wrote: Simon Peyton Jones
writes: Is SSH working on gitlab.haskell.org? I'm getting this
simonpj@CDW-8FABODHF0V5:~$ ssh -v git@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: include /etc/ssh/ssh_config.d/*.conf matched no files debug1: /etc/ssh/ssh_config line 21: Applying options for * debug1: Connecting to gitlab.haskell.org [145.40.64.137] port 22. debug1: Connection established. debug1: identity file /home/simonpj/.ssh/id_rsa type 0 debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_dsa type 1 debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ecdsa_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519 type 3 debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk type -1 debug1: identity file /home/simonpj/.ssh/id_ed25519_sk-cert type -1 debug1: identity file /home/simonpj/.ssh/id_xmss type -1 debug1: identity file /home/simonpj/.ssh/id_xmss-cert type -1 debug1: Local version string SSH-2.0-OpenSSH_8.2p1 Ubuntu-4
At this point it hangs. Stackoverflow suggests < https://superuser.com/questions/1374076/what-does-it-mean-if-ssh-hangs-after... a server fault. But I'm on a new WLAN so I suppose there could be some bizarre filtering?
I suspect this may be a filtering issue. Like Tom, I am able to connect without issue. A Wireshark trace [1] may help shed light on the situation. Happy to have a call to debug if this would be helpful.
Cheers,
- Ben
[1] https://www.wireshark.org/ _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
participants (4)
-
Ben Gamari
-
Bryan Richter
-
Simon Peyton Jones
-
Tom Ellis