Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017

[Nicolas Goaziou]

Kaushal Modi <address@hidden> writes:

> On Thu, Jan 4, 2018 at 1:16 PM Achim Gratz <address@hidden> wrote:
>
>> Bastien Guerry writes:
>> >> ~$ git clone address@hidden: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? :)