Hi Giovanni, Giovanni Ridolfi <giovanni.rido...@yahoo.it> 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 _______________________________________________ Emacs-orgmode mailing list Please use `Reply All' to send replies to the list. Emacs-orgmode@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-orgmode
