[Orgmode] GitHub

[Carsten Dominik]

Hi,

since a number of you have voiced a strong preference for Org-mode to  
be hosted on GitHub, I am not considering such a step.

Could someone spell out for me what steps I would have to take to do  
this?
In particular:

- How do I get the entire current repo onto GitHub?
- 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?
- Bastien - I guess on the web server, we would simply make a
  new clone from the new location, right?

Anything else I need to consider?

Thanks.

- Carsten