Pushing to gitlab.haskell.org
mail at nh2.me
Mon Jun 3 14:18:56 UTC 2019
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