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

[Kaushal Modi]

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.

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

--

Kaushal Modi