Hi all,

I cannot access the git: repo address and so had been using the http: version till now ( http://repo.or.cz/r/org-mode.git/ ).

Today git pull gives the below error:

Fetching origin

fatal: unable to access 'http://repo.or.cz/r/org-mode.git/': Couldn't resolve host 'repo.or.cz'

error: Could not fetch origin

Looks like

is down? Is anyone else seeing the same thing? Is there an alternative http: address that I can use for cloning?

Thanks.

--
Kaushal Modi