[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] [IMPORTANT] Server migration: please update your git repositorie
From: |
Nicolas Goaziou |
Subject: |
Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017 |
Date: |
Thu, 04 Jan 2018 16:36:56 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
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
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017, Kaushal Modi, 2018/01/04
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017,
Nicolas Goaziou <=
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017, Achim Gratz, 2018/01/04
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017, Kaushal Modi, 2018/01/04
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017, Nicolas Goaziou, 2018/01/04
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017, Kaushal Modi, 2018/01/04
- Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017, Kaushal Modi, 2018/01/05
- [O] Probably broke the Worg build? (Was: Re: [IMPORTANT] Server migration..), Kaushal Modi, 2018/01/05
- Re: [O] Probably broke the Worg build?, Bastien, 2018/01/05
- Re: [O] Probably broke the Worg build?, Kaushal Modi, 2018/01/05