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
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
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
>
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
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
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
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:
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
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,
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
10 matches
Mail list logo