Apparently the pull part has been broken since Sunday. No updates of any kind happened when I tried a pul Sunday.On Mon, 13 Jun 2011, Eric Schulte wrote:
> I have been able to push changes up to the repository as recently as this > afternoon. > > Jude DaShiell <jdash...@shellworld.net> writes: > > > It's been down since June 12, 2011 too and maybe earlier than that.On Mon, > > 13 Jun 2011, Eric Schulte wrote: > > > >> Just a heads up. > >> > >> The main orgmode.org server appears to be down, git and the web-page. > >> > >> Best -- Eric > >> > >> > > > > > >
