Re: [O] http address for cloning org-mode git

2015-09-24 Thread Achim Gratz
Suvayu Ali writes: >> > That is a mirror, a relic from the old days when that used to be the >> > official repo. Maybe try: http://orgmode.org/org-mode.git >> >> No, that never was the official repo. I've set up that mirror. > > Didn't we used to have the Org repo hosted on repo.or.cz way, way

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Suvayu Ali
On Wed, Sep 23, 2015 at 03:03:42PM -0400, Kaushal Modi wrote: > 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/ ). That is a mirror, a relic from the old days when that used to be the official repo. Maybe

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Achim Gratz
Kaushal Modi writes: > 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 That looks like a problem with DNS resolution on your side. > ​Looks like ​ >

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Achim Gratz
Suvayu Ali writes: > On Wed, Sep 23, 2015 at 03:03:42PM -0400, Kaushal Modi wrote: >> 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/ ). > > That is a mirror, a relic from the old days when that used to be the > official

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Suvayu Ali
On Wed, Sep 23, 2015 at 09:29:06PM +0200, Achim Gratz wrote: > Suvayu Ali writes: > > On Wed, Sep 23, 2015 at 03:03:42PM -0400, Kaushal Modi wrote: > >> 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/ ). > > > > That

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Kaushal Modi
Thanks all. Strange enough, git pull from repo.or.cz/r/org-mode.git started working fine once again. But I cannot yet clone from http://orgmode.org/org-mode.git. I had tried the same earlier with the same result.. the clone will get stuck at "Fetching origin". My current git version is

[O] http address for cloning org-mode git

2015-09-23 Thread Kaushal Modi
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:

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Kaushal Modi
You're right! This time I let it stay stuck for more than few minutes and I can confirm that the http://orgmode.org/org-mode.git link works too. Somehow the other link is much faster for me when cloning/pulling. -- Kaushal Modi On Wed, Sep 23, 2015 at 4:53 PM, Robert Klein

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Kaushal Modi
Just to clarify, git clone http://orgmode.org/org-mode.git org-mode gets stuck at "Cloning into 'org-mode' ..." But git cloning the mirror http repo works fine. -- Kaushal Modi On Wed, Sep 23, 2015 at 3:29 PM, Achim Gratz wrote: > Suvayu Ali writes: > > On Wed, Sep 23,

Re: [O] http address for cloning org-mode git

2015-09-23 Thread Robert Klein
Hi, Kaushal Modi wrote: > Just to clarify, > > git clone http://orgmode.org/org-mode.git org-mode > > gets stuck at "Cloning into 'org-mode' ..." That's the point where it typically take a couple of minutes to complete for me. Best regards Robert > > But git