Pushing to gitlab.haskell.org

[Niklas Hambüchen]

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

Hope this helps,

Niklas