From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jason Dunsmore Subject: Re: IMPORTANT: Migration of org-mode.git to the new server on sunday 5pm-7pm CET (UTC+1) Date: Sat, 08 Jan 2011 20:46:58 -0600 Message-ID: <87lj2ulrod.fsf@riotblast.dunsmor.com> References: <8762u0fjn8.fsf@altern.org> <87bp3stjpg.fsf@norang.ca> <87pqs7ydic.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from [140.186.70.92] (port=47058 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PblJY-00085X-VB for emacs-orgmode@gnu.org; Sat, 08 Jan 2011 21:47:35 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PblJ7-0002TP-KD for emacs-orgmode@gnu.org; Sat, 08 Jan 2011 21:47:02 -0500 Received: from deathroller.dunsmor.com ([98.129.169.48]:40515) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PblJ7-0002TA-Gb for emacs-orgmode@gnu.org; Sat, 08 Jan 2011 21:47:01 -0500 In-Reply-To: (Carsten Dominik's message of "Sat, 8 Jan 2011 11:04:35 +0100") 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: emacs-orgmode@gnu.org Cc: Bernt Hansen , Carsten Dominik , Bastien Carsten Dominik writes: > On Jan 8, 2011, at 10:56 AM, Carsten Dominik wrote: > >> >> On Jan 8, 2011, at 10:02 AM, Bastien wrote: >> >>> Hi Bernt, >>> >>> Bernt Hansen writes: >>> >>>> Is it really necessary to rebuild the org-mode git repository (with >>>> filter-branch) to remove the ORGWEBPAGES/ content. Anyone with a >>>> clone >>>> and local branches of the existing repository will need to move >>>> all of >>>> these to the new repository. >>>> >>>> Would creating a commit to remove the ORGWEBPAGES directory in the >>>> existing repository not work just as well? This will keep all of >>>> the >>>> existing SHA1s for historical commits intact. >>> >>> I think you're right. Our goal was to remove ORGWEBPAGES/ into a new >>> repo with a proper history of its own. As Jason did that with >>> success, >>> I asked him to do the filtering for org-mode.git too -- which might >>> be >>> too much (my bad). >>> >>> Jason, Carsten, what is your take on this? >> >> I agree with Bernt. > > Sorry, let me be more specific. > > I am for moving the website to a separate repository. THis makes a > lot of sense. It does require to the release process though, because > my setup also used to update the webpage automatically. > > But I think that Bernt is right that it would be much better for users > if the git repo remains in tact, so that moving simple means changing > the pointer to the repo, and that local branches will survive. So > simple removing the webpage from the repo with a commit sounds like a > good idea to me. > > I don't think moving the webpage into a special branch is the right > solution. I agree with Carsten and Bernt - keep the org-mode repo's history intact, remove ORGWEBPAGE in a commit, and split off ORGWEBPAGE into its own repo.