Hello everyone,
I just checked the two repositories:
http://orgmode.org/w/org-mode.git
and
http://repo.or.cz/w/org-mode.git
The latter is behind of 4 commits, i.e. 11 hours.
Its last commit is Eric Schulte's
90f6765cdf77c1414726d899f00c77da43f45758
So has repo.or.cz been discontinued or
Hello,
I pull git daily both at home and work. I noticed a bunch of updates this
morning at work, as expected. But at home, I keep getting:
$ git pull
Already up-to-date.
$ git log -1
commit 90f6765cdf77c1414726d899f00c77da43f45758
Author: Eric Schulte schulte.e...@gmail.com
Date: Mon
On Wed, Jun 15, 2011 at 7:14 PM, Erik Iverson er...@ccbr.umn.edu wrote:
Perhaps I missed an announcement,
AFAIK, the repository at repo.or.cz serves as a mirror to the
orgmode.org repository and it might be a little behind.
--
Suvayu
Open source is the future. It sets us free.
Erik Iverson er...@ccbr.umn.edu writes:
[remote origin]
fetch = +refs/heads/*:refs/remotes/origin/*
url = git://repo.or.cz/org-mode.git
Now, the orgmode.org site I notice tells you to clone:
git clone git://orgmode.org/org-mode.git
So that must be the problem! I don't know if
