
Devs
Suddenly I can't push to (a non-master branch on) gitlab.haskell.org.
In .git/config I have
[remote "origin"]
url = https://gitlab.haskell.org/ghc/ghc
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master
An attempt to push leads to a request for a username. If I enter one, a request for a password.
simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735
Username for 'https://gitlab.haskell.org': C-c C-c
I thought I had SSH keys uploaded. But in fact I found that my id_rsa.pub was a bit different to the one in gitlab. Not sure _how_ that happened, or why it hasn't bitten before.
So I uploaded a new id_rsa.pub key.
Same behaviour.
So I tried ssh -v gitlab.haskell.org, and got the output below. It seems to skip id_dsa, but doesn't even try id_rsa.
Can anyone help? This is tiresome.
Thanks
Simon
simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org
OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n 7 Dec 2017
debug1: Reading configuration data /home/simonpj/.ssh/config
debug1: Reading configuration data /etc/ssh/ssh_config
debug1: /etc/ssh/ssh_config line 19: Applying options for *
debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22.
debug1: Connection established.
debug1: identity file /home/simonpj/.ssh/id_rsa type 0
debug1: key_load_public: No such file or directory
debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1
debug1: identity file /home/simonpj/.ssh/id_dsa type 1
debug1: key_load_public: No such file or directory
debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1
debug1: key_load_public: No such file or directory
debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1
debug1: key_load_public: No such file or directory
debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1
debug1: key_load_public: No such file or directory
debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1
debug1: key_load_public: No such file or directory
debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1
debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4
debug1: Remote protocol version 2.0, remote software version OpenSSH_7.9
debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x04000000
debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'
debug1: SSH2_MSG_KEXINIT sent
debug1: SSH2_MSG_KEXINIT received
debug1: kex: algorithm: curve25519-sha256@libssh.org
debug1: kex: host key algorithm: ssh-ed25519
debug1: kex: server->client cipher: chacha20-poly1305@openssh.com MAC: <implicit> compression: none
debug1: kex: client->server cipher: chacha20-poly1305@openssh.com MAC: <implicit> compression: none
debug1: expecting SSH2_MSG_KEX_ECDH_REPLY
debug1: Server host key: ssh-ed25519 SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI
debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host key.
debug1: Found key in /home/simonpj/.ssh/known_hosts:7
debug1: rekey after 134217728 blocks
debug1: SSH2_MSG_NEWKEYS sent
debug1: expecting SSH2_MSG_NEWKEYS
debug1: SSH2_MSG_NEWKEYS received
debug1: rekey after 134217728 blocks
debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in PubkeyAcceptedKeyTypes
debug1: SSH2_MSG_EXT_INFO received
debug1: kex_input_ext_info: server-sig-algs=

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
participants (2)
-
Niklas Hambüchen
-
Simon Peyton Jones