Nick Dokos <nicholas.do...@hp.com> writes: > Indeed: the git repo was changed to orgmode.org back in December (?) > and repo.or.cz was left as a mirror, but apparently it has been > non compos mentis for a little while.
I've just checked: the git mirror at http://repo.or.cz/w/org-mode.git is still working fine. Great to know users can also rely on this. Best, -- Bastien
