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

[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 <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.

--Erik

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