Exactly. Also it makes some sense to use https for fetch but ssh for push; that's how I have my own repos and those for various other projects set up.
On Mon, Jun 3, 2019 at 12:34 PM Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org> wrote: > | You probably need to use the "git@" remote. > | > | g...@gitlab.haskell.org:ghc/ghc.git > | > | git remote set-url origin g...@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 <matthewtpicker...@gmail.com> > | Sent: 03 June 2019 15:08 > | To: Simon Peyton Jones <simo...@microsoft.com> > | Subject: Re: Pushing to gitlab.haskell.org > | > | You probably need to use the "git@" remote. > | > | g...@gitlab.haskell.org:ghc/ghc.git > | > | git remote set-url origin g...@gitlab.haskell.org:ghc/ghc.git > | > | > | On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs <ghc- > | d...@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@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@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-sha...@libssh.org > | > > | > debug1: kex: host key algorithm: ssh-ed25519 > | > > | > debug1: kex: server->client cipher: chacha20-poly1...@openssh.com > MAC: > | > <implicit> compression: none > | > > | > debug1: kex: client->server cipher: chacha20-poly1...@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@MSRC-3645512:~/code/HEAD$ > | > > | > > | > > | > _______________________________________________ > | > ghc-devs mailing list > | > ghc-devs@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 > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > -- brandon s allbery kf8nh allber...@gmail.com
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs