Pushing to gitlab.haskell.org

Simon Peyton Jones simonpj at microsoft.com
Mon Jun 3 16:34:20 UTC 2019


|  You probably need to use the "git@" remote.
|  
|  git at gitlab.haskell.org:ghc/ghc.git
|  
|  git remote set-url origin git at gitlab.haskell.org:ghc/ghc.git

Correct!  I don't know how this worked before. (Maybe it never did; this is a relatively new machine.)

Maybe we should change the guidance on
https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources

to give the git url?  Or does that /require/ ssh and hence exclude some folk?

Simon

|  -----Original Message-----
|  From: Matthew Pickering <matthewtpickering at gmail.com>
|  Sent: 03 June 2019 15:08
|  To: Simon Peyton Jones <simonpj at microsoft.com>
|  Subject: Re: Pushing to gitlab.haskell.org
|  
|  You probably need to use the "git@" remote.
|  
|  git at gitlab.haskell.org:ghc/ghc.git
|  
|  git remote set-url origin git at gitlab.haskell.org:ghc/ghc.git
|  
|  
|  On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs <ghc-
|  devs at haskell.org> wrote:
|  >
|  > Devs
|  >
|  > Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org.
|  >
|  > In .git/config I have
|  >
|  > [remote "origin"]
|  >
|  >   url =
|  > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
|  > ab.haskell.org%2Fghc%2Fghc&data=02%7C01%7Csimonpj%40microsoft.com%
|  > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%
|  > 7C1%7C0%7C636951676910548930&sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN
|  > 2OWUgLIOYv%2BL8o%3D&reserved=0
|  >
|  >   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://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.
|  haskell.org&data=02%7C01%7Csimonpj%40microsoft.com%7C186b15a68a134060a
|  1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105
|  48930&sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D&a
|  mp;reserved=0':   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$
|  >
|  >
|  >
|  > _______________________________________________
|  > ghc-devs mailing list
|  > ghc-devs at haskell.org
|  > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.
|  > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=02%7C01
|  > %7Csimonpj%40microsoft.com%7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988
|  > bf86f141af91ab2d7cd011db47%7C1%7C0%7C636951676910548930&sdata=d3AF
|  > 6HM%2B48XW8mZJ42m%2FSngTPiVEERDM24th%2BZMY%2BPA%3D&reserved=0


More information about the ghc-devs mailing list