<div dir="ltr">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.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jun 3, 2019 at 12:34 PM Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">| You probably need to use the "git@" remote.<br>
| <br>
| git@gitlab.haskell.org:ghc/ghc.git<br>
| <br>
| git remote set-url origin git@gitlab.haskell.org:ghc/ghc.git<br>
<br>
Correct! I don't know how this worked before. (Maybe it never did; this is a relatively new machine.)<br>
<br>
Maybe we should change the guidance on<br>
<a href="https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources</a><br>
<br>
to give the git url? Or does that /require/ ssh and hence exclude some folk?<br>
<br>
Simon<br>
<br>
| -----Original Message-----<br>
| From: Matthew Pickering <<a href="mailto:matthewtpickering@gmail.com" target="_blank">matthewtpickering@gmail.com</a>><br>
| Sent: 03 June 2019 15:08<br>
| To: Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>><br>
| Subject: Re: Pushing to <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a><br>
| <br>
| You probably need to use the "git@" remote.<br>
| <br>
| git@gitlab.haskell.org:ghc/ghc.git<br>
| <br>
| git remote set-url origin git@gitlab.haskell.org:ghc/ghc.git<br>
| <br>
| <br>
| On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs <ghc-<br>
| <a href="mailto:devs@haskell.org" target="_blank">devs@haskell.org</a>> wrote:<br>
| ><br>
| > Devs<br>
| ><br>
| > Suddenly I can’t push to (a non-master branch on) <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a>.<br>
| ><br>
| > In .git/config I have<br>
| ><br>
| > [remote "origin"]<br>
| ><br>
| > url =<br>
| > <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl</a><br>
| > <a href="http://ab.haskell.org" rel="noreferrer" target="_blank">ab.haskell.org</a>%2Fghc%2Fghc&data=02%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%<br>
| > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%<br>
| > 7C1%7C0%7C636951676910548930&sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN<br>
| > 2OWUgLIOYv%2BL8o%3D&reserved=0<br>
| ><br>
| > fetch = +refs/heads/*:refs/remotes/origin/*<br>
| ><br>
| > [branch "master"]<br>
| ><br>
| > remote = origin<br>
| ><br>
| > merge = refs/heads/master<br>
| ><br>
| > An attempt to push leads to a request for a username. If I enter one, a<br>
| request for a password.<br>
| ><br>
| > simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735<br>
| ><br>
| > Username for<br>
| '<a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab</a>.<br>
| <a href="http://haskell.org" rel="noreferrer" target="_blank">haskell.org</a>&data=02%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C186b15a68a134060a<br>
| 1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105<br>
| 48930&sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D&a<br>
| mp;reserved=0': C-c C-c<br>
| ><br>
| > I thought I had SSH keys uploaded. But in fact I found that my<br>
| id_rsa.pub was a bit different to the one in gitlab. Not sure _how_ that<br>
| happened, or why it hasn’t bitten before.<br>
| ><br>
| > So I uploaded a new id_rsa.pub key.<br>
| ><br>
| > Same behaviour.<br>
| ><br>
| > So I tried ssh -v <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a>, and got the output below. It<br>
| seems to skip id_dsa, but doesn’t even try id_rsa.<br>
| ><br>
| > Can anyone help? This is tiresome.<br>
| ><br>
| > Thanks<br>
| ><br>
| > Simon<br>
| ><br>
| ><br>
| ><br>
| > simonpj@MSRC-3645512:~/code/HEAD$ ssh -v <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a><br>
| ><br>
| > OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n 7 Dec 2017<br>
| ><br>
| > debug1: Reading configuration data /home/simonpj/.ssh/config<br>
| ><br>
| > debug1: Reading configuration data /etc/ssh/ssh_config<br>
| ><br>
| > debug1: /etc/ssh/ssh_config line 19: Applying options for *<br>
| ><br>
| > debug1: Connecting to <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a> [2604:1380:0:8900::3] port 22.<br>
| ><br>
| > debug1: Connection established.<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_rsa type 0<br>
| ><br>
| > debug1: key_load_public: No such file or directory<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_dsa type 1<br>
| ><br>
| > debug1: key_load_public: No such file or directory<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1<br>
| ><br>
| > debug1: key_load_public: No such file or directory<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1<br>
| ><br>
| > debug1: key_load_public: No such file or directory<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1<br>
| ><br>
| > debug1: key_load_public: No such file or directory<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1<br>
| ><br>
| > debug1: key_load_public: No such file or directory<br>
| ><br>
| > debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1<br>
| ><br>
| > debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4<br>
| ><br>
| > debug1: Remote protocol version 2.0, remote software version<br>
| > OpenSSH_7.9<br>
| ><br>
| > debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x04000000<br>
| ><br>
| > debug1: Authenticating to <a href="http://gitlab.haskell.org:22" rel="noreferrer" target="_blank">gitlab.haskell.org:22</a> as 'simonpj'<br>
| ><br>
| > debug1: SSH2_MSG_KEXINIT sent<br>
| ><br>
| > debug1: SSH2_MSG_KEXINIT received<br>
| ><br>
| > debug1: kex: algorithm: <a href="mailto:curve25519-sha256@libssh.org" target="_blank">curve25519-sha256@libssh.org</a><br>
| ><br>
| > debug1: kex: host key algorithm: ssh-ed25519<br>
| ><br>
| > debug1: kex: server->client cipher: <a href="mailto:chacha20-poly1305@openssh.com" target="_blank">chacha20-poly1305@openssh.com</a> MAC:<br>
| > <implicit> compression: none<br>
| ><br>
| > debug1: kex: client->server cipher: <a href="mailto:chacha20-poly1305@openssh.com" target="_blank">chacha20-poly1305@openssh.com</a> MAC:<br>
| > <implicit> compression: none<br>
| ><br>
| > debug1: expecting SSH2_MSG_KEX_ECDH_REPLY<br>
| ><br>
| > debug1: Server host key: ssh-ed25519<br>
| > SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI<br>
| ><br>
| > debug1: Host '<a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a>' is known and matches the ED25519 host<br>
| key.<br>
| ><br>
| > debug1: Found key in /home/simonpj/.ssh/known_hosts:7<br>
| ><br>
| > debug1: rekey after 134217728 blocks<br>
| ><br>
| > debug1: SSH2_MSG_NEWKEYS sent<br>
| ><br>
| > debug1: expecting SSH2_MSG_NEWKEYS<br>
| ><br>
| > debug1: SSH2_MSG_NEWKEYS received<br>
| ><br>
| > debug1: rekey after 134217728 blocks<br>
| ><br>
| > debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in<br>
| > PubkeyAcceptedKeyTypes<br>
| ><br>
| > debug1: SSH2_MSG_EXT_INFO received<br>
| ><br>
| > debug1: kex_input_ext_info:<br>
| > server-sig-algs=<ssh-ed25519,ssh-rsa,rsa-sha2-256,rsa-sha2-512,ssh-dss<br>
| > ,ecdsa-sha2-nistp256,ecdsa-sha2-nistp384,ecdsa-sha2-nistp521><br>
| ><br>
| > debug1: SSH2_MSG_SERVICE_ACCEPT received<br>
| ><br>
| > debug1: Authentications that can continue:<br>
| > publickey,password,keyboard-interactive<br>
| ><br>
| > debug1: Next authentication method: publickey<br>
| ><br>
| > debug1: Offering public key: RSA<br>
| > SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU<br>
| > /home/simonpj/.ssh/id_rsa<br>
| ><br>
| > debug1: Authentications that can continue:<br>
| > publickey,password,keyboard-interactive<br>
| ><br>
| > debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa<br>
| ><br>
| > debug1: Trying private key: /home/simonpj/.ssh/id_ed25519<br>
| ><br>
| > debug1: Next authentication method: keyboard-interactive<br>
| ><br>
| > Password: C-c C-c<br>
| ><br>
| ><br>
| ><br>
| > simonpj@MSRC-3645512:~/code/HEAD$<br>
| ><br>
| ><br>
| ><br>
| > _______________________________________________<br>
| > ghc-devs mailing list<br>
| > <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
| > <a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail</a>.<br>
| > <a href="http://haskell.org" rel="noreferrer" target="_blank">haskell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=02%7C01<br>
| > %7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988<br>
| > bf86f141af91ab2d7cd011db47%7C1%7C0%7C636951676910548930&sdata=d3AF<br>
| > 6HM%2B48XW8mZJ42m%2FSngTPiVEERDM24th%2BZMY%2BPA%3D&reserved=0<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>