[Top][All Lists]

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

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

From: Erik Iverson
Subject: [O] git server issue, repo.or.cz and orgmode.org
Date: Wed, 15 Jun 2011 21:14:34 -0500
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20110424 Thunderbird/3.1.10


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 <address@hidden>
Date:   Mon Jun 13 14:58:56 2011 -0700

    ob-tangle: no longer inserting newlines between appended code blocks

    * lisp/ob-tangle.el (org-babel-tangle-combine-named-blocks): No longer
      inserting newlines between appended code blocks.

I know I pulled newer updates at work, so I was confused. Then I looked where I was pulling from at home, I set this up quite a while ago. From my .git/config file:

[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 two are supposed to remain in sync or not, but if so, something isn't working as of Monday. Perhaps I missed an announcement, but I do remember orgmode.org was down on Monday evening, so perhaps that plays into it, or perhaps it is just a coincidence. At any rate, I think I'll just clone the orgmode.org repo, as the org site tells me to. Just thought other long time git pullers might want to know about this.


p.s., of course, I'm willing to admit that I may have done something silly to cause this, I hope not!

reply via email to

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