[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] Orgmode performance problem and "solution"

From: Nick Dokos
Subject: Re: [O] Orgmode performance problem and "solution"
Date: Wed, 26 Oct 2011 10:20:20 -0400

Rainer Stengele <address@hidden> wrote:

> No, the old repo
> git://repo.or.cz/org-mode.git
> I used is some time behind the one I use now.
> If I want to get a fix immediately I learned I have to use the new repo 
> git://orgmode.org/org-mode.git
> I hope I got this right.
> Rainer
> Am 26.10.2011 14:11, schrieb suvayu ali:
> > On Wed, Oct 26, 2011 at 10:07, Rainer Stengele
> > <address@hidden> wrote:
> >> Lacking knowledge of git I deleted everything, cloned from the new repo 
> >> and compiled the files.
> >> Result was a significantly faster Org experience.
> >>
> > For future reference, a sinple `git pull` would have sufficed.
> >

It's too late for it now, but for future reference: you can change the
repo with ``git config --replace-all remote.origin.url
git://orgmode.org/org-mode.git'' and then do a ``git pull''. AFAIK, the
repo.or.cz/org-mode.git repo was a delayed mirror, so it would have the
same history (up to the point of the latest sync).

But it doesn't really matter: cloning the repo again takes longer but
it's a one-time cost and the end result is the same.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]