Kaushal Modi <kaushal.m...@gmail.com> writes: > On Thu, Jan 4, 2018 at 1:16 PM Achim Gratz <strom...@nexgo.de> wrote: > >> Bastien Guerry writes: >> >> ~$ git clone g...@code.orgmode.org:bzg/org-mode.git >> > ^^^ >> > >> > This is for when you have an account on code.orgmode.org and want >> > to clone through ssh. >> >> Have the existing SSH keys been migrated to the new server? Trying to >> clone through this method keeps asking me for a password. >> > > No, the keys didn't transfer. As Bastien mentioned in the original email, > you need to create an account on code.orgmode.org first (pasted the > instructions below): > > For Org and Worg COMMITTERS > ============================ > > You will need to create a new user on https://code.orgmode.org in > order to push commits to org-mode.git or worg.git: > > 1. Create a user on https://code.orgmode.org > 2. Add your ssh public key > 3. Send me an email to be added as a collaborator on Org/Worg > > BTW @Nicolas, Bastien: Do these instructions need to go somewhere in the > Org manual too, or Worg?
I don't think it should go into the manual. However, there is README_contribute which explains this already. I'm going to change the command in the manual to the read-only: git clone https://code.orgmode.org/bzg/org-mode.git > (and as I was framing this question, found that > the Worg also needs to be updated.. it still refers to the old clone URL: > https://orgmode.org/worg/dev/index.html Worg needs some love, indeed. Worgers, where art thou? :)