Re: [O] git server issue, repo.or.cz and orgmode.org

2011-06-15 Thread Bernt Hansen
Erik Iverson 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 these t

Re: [O] git server issue, repo.or.cz and orgmode.org

2011-06-15 Thread suvayu ali
On Wed, Jun 15, 2011 at 7:14 PM, Erik Iverson 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.

[O] git server issue, repo.or.cz and orgmode.org

2011-06-15 Thread Erik Iverson
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 Date: Mon Jun 13 14:58:56 2011 -070