From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 58BF97ED1A for ; Tue, 15 May 2012 21:48:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsIEAGKysk9beTnJ/2dsb2JhbABEgx2CXao8hFKCFQEBBSMPAQVAARALGAICBRYLAgIJAwIBAgFFBg0BBwIbh3OoDpJ7gTCOVIEYBJV9hXWKS4Jr X-IronPort-AV: E=Sophos;i="4.75,595,1330902000"; d="scan'208";a="143930260" Received: from krypton.hackadomia.org (HELO dogguy.org) ([91.121.57.201]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 15 May 2012 21:48:43 +0200 Received: from [192.168.0.35] (cac94-10-88-170-237-124.fbx.proxad.net [88.170.237.124]) by dogguy.org (Postfix) with ESMTPSA id 16E51200D2; Tue, 15 May 2012 21:48:43 +0200 (CEST) Message-ID: <4FB2B2F2.2020907@dogguy.org> Date: Tue, 15 May 2012 21:48:02 +0200 From: Mehdi Dogguy User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.3) Gecko/20120329 Icedove/10.0.3 MIME-Version: 1.0 To: Ashish Agarwal CC: "Richard W.M. Jones" , Joel Reymont , Markus Mottl , Benedikt Meurer , caml-list References: <20120515171144.GC18493@annexia.org> <7D441166-F24B-44CC-A8EE-E5D2BCB357BC@gmail.com> <20120515173436.GY18947@annexia.org> <20120515190553.GA18947@annexia.org> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Re: Anyone using Benedikt Meurer's new ARM code generator? On 15/05/12 21:33, Ashish Agarwal wrote: > Github is maybe not perfect, but it requires *zero* maintenance. > Does the INRIA team want to set up a git server, setup gitosis for > managing users, etc, respond to someone when there is a problem. > Github won. Let's get over it. > Seriously, what kind of maintenance a Git repository does require? Just create a unix group, create a bare shared repo, and have fun. Besides, they are already maintaining (somehow, dunno the details) an svn repository. Maintaining a git repo isn't harder… anyway, it is not said that they will switch to git anyway :) I'd be happy if they do, but it is not my call. iirc, it has been considered when they moved away from cvs and they didn't choose it. i'm not sure how much the situation changed since then (for the core team). -- Mehdi Dogguy