Re: Pushing to gitlab.haskell.org

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 = git@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 git@gitlab.haskell.org PTY allocation request failed on channel 0 Welcome to GitLab, @nh2! Connection to gitlab.haskell.org closed. Hope this helps, Niklas