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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AFC7E7EC6E for ; Tue, 14 Jan 2014 14:21:51 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.142 as permitted sender) identity=mailfrom; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlkCALI51VKEp8COnGdsb2JhbABavm+BExYOAQEBAQEICwkJFCiCJQEBAQQyAQU2CgEQCxgJFg8JAwIBAgFFBg0BBwKIAMRRF44lEQFQB4Q3BJ5jjn6BcA X-IPAS-Result: AlkCALI51VKEp8COnGdsb2JhbABavm+BExYOAQEBAQEICwkJFCiCJQEBAQQyAQU2CgEQCxgJFg8JAwIBAgFFBg0BBwKIAMRRF44lEQFQB4Q3BJ5jjn6BcA X-IronPort-AV: E=Sophos;i="4.95,658,1384297200"; d="scan'208";a="53173232" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Jan 2014 14:21:50 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id s0EDLn82017370; Tue, 14 Jan 2014 14:21:49 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 7C27820110A; Tue, 14 Jan 2014 14:22:58 +0100 (CET) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 64834207D0F; Tue, 14 Jan 2014 14:22:58 +0100 (CET) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id s0EDLnJt023175; Tue, 14 Jan 2014 14:21:49 +0100 Message-ID: <52D53A6D.6000201@cea.fr> Date: Tue, 14 Jan 2014 14:23:57 +0100 From: =?ISO-8859-1?Q?Fran=E7ois_Bobot?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131103 Icedove/17.0.10 MIME-Version: 1.0 To: Gabriel Scherer CC: caml users References: <20140111152357.GB28133@notk.org> <20140111154146.GA976@lenat> <20140113090444.GA8904@notk.org> <52D3B71B.40802@cea.fr> <20140114111326.GF4460@kerneis.info> In-Reply-To: <20140114111326.GF4460@kerneis.info> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Doing compiler patch review with a dedicated mailing-list On Mon, Jan 13, 2014 at 02:26:29PM +0100, Gabriel Scherer wrote: > People of the list, if you have sent or reviewed patches or consider > doing so in the future, do you have a strong preference? 1/ github (strong preference) 2/ gitlab (weak preference) 3/ git-send-email (never used) 4/ mantis (strong aversion) -- François