On Thu, Dec 28, 2017 at 12:13 PM Bastien Guerry <b...@gnu.org> 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
