Pushing to gitlab.haskell.org

[Simon Peyton Jones]

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 at 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 at 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 at libssh.org

debug1: kex: host key algorithm: ssh-ed25519

debug1: kex: server->client cipher: chacha20-poly1305 at openssh.com MAC: <implicit> compression: none

debug1: kex: client->server cipher: chacha20-poly1305 at 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=<ssh-ed25519,ssh-rsa,rsa-sha2-256,rsa-sha2-512,ssh-dss,ecdsa-sha2-nistp256,ecdsa-sha2-nistp384,ecdsa-sha2-nistp521>

debug1: SSH2_MSG_SERVICE_ACCEPT received

debug1: Authentications that can continue: publickey,password,keyboard-interactive

debug1: Next authentication method: publickey

debug1: Offering public key: RSA SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU /home/simonpj/.ssh/id_rsa

debug1: Authentications that can continue: publickey,password,keyboard-interactive

debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa

debug1: Trying private key: /home/simonpj/.ssh/id_ed25519

debug1: Next authentication method: keyboard-interactive

Password:   C-c C-c



simonpj at MSRC-3645512:~/code/HEAD$


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190603/06b55458/attachment.html>