Pushing to gitlab.haskell.org

Niklas Hamb├╝chen mail at nh2.me
Mon Jun 3 14:18:56 UTC 2019

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


> 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,


More information about the ghc-devs mailing list