From mboxrd@z Thu Jan 1 00:00:00 1970 From: tycho garen Subject: Re: GitHub Date: Sat, 22 May 2010 08:54:36 -0400 Message-ID: <20100522125436.GC4551@deleuze.linlan> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from [140.186.70.92] (port=46181 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1OFoE0-0005dH-O9 for Emacs-orgmode@gnu.org; Sat, 22 May 2010 08:54:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1OFoDy-0000WP-Nt for Emacs-orgmode@gnu.org; Sat, 22 May 2010 08:54:44 -0400 Received: from mail-qy0-f187.google.com ([209.85.221.187]:39183) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1OFoDy-0000WF-Jr for Emacs-orgmode@gnu.org; Sat, 22 May 2010 08:54:42 -0400 Received: by qyk17 with SMTP id 17so2705474qyk.12 for ; Sat, 22 May 2010 05:54:41 -0700 (PDT) Content-Disposition: inline In-Reply-To: List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Carsten Dominik Cc: Emacs-orgmode@gnu.org 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