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

[Bernt Hansen <bernt@norang.ca>]

Erik Iverson <eriki@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 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.

There's no need to reclone - just change the source address in your
.gitconfig so it points at the orgmode.org source.  All of the SHA1s are
identical and you can just fetch and pull normally once you switch
repositories.

-- 
Bernt