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

[Nicolas Goaziou]

Hello,

Kaushal Modi <address@hidden> writes:

> On Thu, Dec 28, 2017 at 12:13 PM Bastien Guerry <address@hidden> wrote:
>
>> After 31/12/2017 (leaving a 24h window for DNS propagation), the only
>> way to clone the Org git repository will be through our Gogs instance:
>>
>>   https://code.orgmode.org/bzg/org-mode
>>
>
> This is great! Thanks!
>
> Cursorily looking, I found few places that still reference to the old
> cloning URL: https://orgmode.org/manual/Installation.html (both in
> doc/org.texi in maint and in contrib/manual.org in master), and also here:
> https://orgmode.org/elpa.html.

Fixed.

> Also, should all the http://orgmode.org URLs in the manuals be now replaced
> with https://orgmode.org?

Yes, I just did the replacement.

Thank you.

Regards,

-- 
Nicolas Goaziou