From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB6Ci4jD031864 for ; Tue, 6 Dec 2011 13:44:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMFALwM3k5befWq/2dsb2JhbABEp2CCfIEFgXIBAQUnCwE1IQsYFgEXFBhYh3W1IYgWAQOCNWMElGWKaYc5 X-IronPort-AV: E=Sophos;i="4.71,305,1320620400"; d="scan'208";a="122227900" Received: from upsilon.hackadomia.org ([91.121.245.170]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Dec 2011 13:43:59 +0100 Received: from usha.takhisis.invalid (unknown [134.157.168.250]) by upsilon.hackadomia.org (Postfix) with ESMTPSA id C4082100C0 for ; Tue, 6 Dec 2011 13:43:58 +0100 (CET) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id 9D24260EF; Tue, 6 Dec 2011 13:43:58 +0100 (CET) Date: Tue, 6 Dec 2011 13:43:58 +0100 From: Stefano Zacchiroli To: caml-list@inria.fr Message-ID: <20111206124358.GA25240@upsilon.cc> References: <1B0D83BD-1902-4F7C-B3FB-B759122D6AB9@googlemail.com> <20111206120246.GA23773@upsilon.cc> <55C69183-8B28-4145-A274-32EBE3555803@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <55C69183-8B28-4145-A274-32EBE3555803@gmail.com> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] OCaml maintenance status / community fork On Tue, Dec 06, 2011 at 01:16:27PM +0100, Joel Reymont wrote: > > I concur. That said, Gitorious being Free Software, it is also possible > > to set it up on alternative locations. > > Why does this matter more than ease of collaboration and usability? - Politically, to not depend on a 3rd party infrastructure for your work. - Practically, to find and exploit synergies (e.g. Git <-> bug tracker integration) that are, at present, not possible on Gitorious alone (e.g. because Gitorious lacks a bug tracking system) But you do have a point: as Gitorious is not structured as a federated service, moving away from it means making a bit more difficult for already existing Gitorious users to send pull requests on another instance. Given Gitorious supports OpenID login, though, this "bit" of extra difficulty is very tiny, IMHO. -- Stefano Zacchiroli zack@{upsilon.cc,pps.jussieu.fr,debian.org} . o . Maître de conférences ...... http://upsilon.cc/zack ...... . . o Debian Project Leader ....... @zack on identi.ca ....... o o o « the first rule of tautology club is the first rule of tautology club »