Hey Simon, you mention SSH keys, but in your quoted config I can see HTTPS, not SSH:
> [remote "origin"] > url = https://gitlab.haskell.org/ghc/ghc Should this perhaps be url = g...@gitlab.haskell.org:ghc/ghc.git instead? > So I tried ssh -v gitlab.haskell.org You need to include the user name "git" for this. Otherwise it will try to use your local user name on the remote server. This is the command to run and the output you should get if it's working: $ ssh g...@gitlab.haskell.org PTY allocation request failed on channel 0 Welcome to GitLab, @nh2! Connection to gitlab.haskell.org closed. Hope this helps, Niklas _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs