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 http://repo.or.cz/r/org-mode.git/ is down? Is anyone else seeing the same thing? Is there an alternative http: address that I can use for cloning? Thanks. -- Kaushal Modi