Re: GitHub

[tycho garen <tychoish@gmail.com>]

As a brief prelude, I'd like to say that while I think github is a
great service, for development communities, and provides a number of
very enticing features, there are some aspects that make it less than
ideal: 

Projects are owned by individual developer's "personal" accounts and
it's sometimes less than intuitive to figure out which fork of the
repository is the "right" one for users not involved in the community.

There's some degree of lock-in, particularly with the features that
repo.or.cz doesn't have. Having said that, git's distributed nature
makes this much less relevant than it would be otherwise.

Having said that the "killer" feature of github is the ease of
creating forks. Repo.or.cz has that, so at least from my perspective,
it's not as big of a draw, but I'm not an active org-mode-code
contributor so I think my opinion here isn't terribly relevant. 

But specific questions and answers.

On Sat, May 22, 2010 at 08:24:30AM +0200, Carsten Dominik wrote:

> - How do I get the entire current repo onto GitHub?

This is the easiest. Get a github account. Create a project, and begin
pushing to this repository. Fundamentally github exists for people who
don't want to manage the infrastructure for hosting remote git
repositories. 

> - Can I set up repo.or.cz in a way that it will become an
>   automatic mirror, so that old clones will continue to be updated when
>   pulling?

Yes. I'd need to talk to pasky to make sure there's not another way,
but I think the thing to do is get a repo.or.cz admin (like me) to
re/move the existing org-mode repo out of the way, and then recreate a
new project that clones the git-hub repository. 

> - Bastien - I guess on the web server, we would simply make a
>   new clone from the new location, right?

Almost certainly but I'll defer here. 

Cheers!

-- 
tycho(ish) @
garen@tychoish.com
http://www.tychoish.com/
http://www.cyborginstitute.com/
"don't get it right, get it written" -- james thurber