[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Orgmode] Re: repo.or.cz down
From: |
Bastien |
Subject: |
Re: [Orgmode] Re: repo.or.cz down |
Date: |
Wed, 24 Nov 2010 15:49:49 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
Hi Giovanni,
Giovanni Ridolfi <address@hidden> writes:
> http://orgmode.org is up
>
> but the web interface of the git repo:
>
> http://repo.or.cz/w/org-mode.git
>
> is down :-(
Yes, I guess they are fixing it right now.
> Unfortunately I do not have "whois" so I can't say
> if orgmode.org has the same IP of the git repo.
No they are not -- orgmode.org is a separate server.
Best,
--
Bastien