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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0EAF87EC6E for ; Mon, 13 Jan 2014 14:52:33 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.43 as permitted sender) identity=mailfrom; client-ip=209.85.214.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f43.google.com) identity=helo; client-ip=209.85.214.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhoDABfv01LRVdYrlGdsb2JhbABAGoNDVrltgQgIFg4BAQEBBwsLCRIqgiUBAQEDAUABGxILAQMBCwYFCw0uIQEBEQEFARwGE4dvAQMJCA02nUKMXIMJkRsKGScNZIRGEQEFDIxogWAzB4Q3BJYrgWyBMIsqg04YKYRaOw X-IPAS-Result: AhoDABfv01LRVdYrlGdsb2JhbABAGoNDVrltgQgIFg4BAQEBBwsLCRIqgiUBAQEDAUABGxILAQMBCwYFCw0uIQEBEQEFARwGE4dvAQMJCA02nUKMXIMJkRsKGScNZIRGEQEFDIxogWAzB4Q3BJYrgWyBMIsqg04YKYRaOw X-IronPort-AV: E=Sophos;i="4.95,653,1384297200"; d="scan'208";a="44607624" Received: from mail-bk0-f43.google.com ([209.85.214.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2014 14:52:32 +0100 Received: by mail-bk0-f43.google.com with SMTP id mz12so2432049bkb.30 for ; Mon, 13 Jan 2014 05:52:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=5+DIcMFbvsyrhzQSl8AlGa5vvZOktnAdMyVlllOXUWE=; b=BSbIpjydXIAKL/ZlYW9oeFInv31prgWG00dHuQruPQL7k+vEhYtKJuNCIM0Iqck3uJ B6pgdXY3txgFyrwMnT/yixTc4iEpYo3UwA/88MeQq/ftpR4X5n2sakGbGRLuaApytJdL TJm1DRjF8VuzM/PmphLpwTHmlmiz/2NMoY+Hps401qHk+gc1iZ0QyLxJXHM/WHCmpA5x dAYjjrgn5trziQ5fHX7lxHbNqhagXAW9paHpLR4EiEhPZ9z1YHUo3u/cp/dgpnaQGk6k rQjG9EqtQatqRJdWTiHRpZtOAjITzFyQPobCa4ss0MygPXKojjqVOe6QAsJ/0jBF0AxF nXqw== X-Received: by 10.205.108.133 with SMTP id ec5mr90041bkc.154.1389621152165; Mon, 13 Jan 2014 05:52:32 -0800 (PST) MIME-Version: 1.0 Received: by 10.205.45.5 with HTTP; Mon, 13 Jan 2014 05:51:52 -0800 (PST) In-Reply-To: References: <20140111152357.GB28133@notk.org> <20140111154146.GA976@lenat> <20140113090444.GA8904@notk.org> <52D3B71B.40802@cea.fr> From: Gabriel Scherer Date: Mon, 13 Jan 2014 14:51:52 +0100 Message-ID: To: Thomas Refis Cc: =?ISO-8859-1?Q?Daniel_B=FCnzli?= , caml users Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Doing compiler patch review with a dedicated mailing-list > I'd have thought that part was pretty obvious. The remark was clear, but I am more interested in what Daniel *would like* to see used. He is quite good at ranting against just about everything, so I have no indication that he would be merrier with something else. On Mon, Jan 13, 2014 at 2:43 PM, Thomas Refis wrot= e: > 2014/1/13 Gabriel Scherer : >> On Mon, Jan 13, 2014 at 12:14 PM, Daniel B=FCnzli >> wrote: >>> It's not only easy to browse, it's *great* to browse: all the web-based= mailing list archives I interact with are not even able to follow a thread= running across two month. I really feel we're in 2014. >> >> This is a bit too snarky for me to guess what you want. > > I'd have thought that part was pretty obvious. If the discussion > starts on the 28th of a month, and is continued the next month. The > "sympa" interface gives you no easy way to follow the thread. You need > to "select" the second month, and find the thread again. > >> I'm already doing a few reviews on mantis, and occasionally uses the >> github in-patch-commenting interface when people send a link to a >> github-hosted patch (eg. http://caml.inria.fr/mantis/view.php?id=3D6274 >> ). > > Since we're talking about it: I was a bit confused with that review. > Although *I* find the github interface nicer than mantis and the "in > patch comments" really useful, I didn't know whether I should answer > your comments on github or on mantis, and people on mantis might not > see the comments you did. > So I'm not sure that's really a good approach. (But of course that > particular patch was about ocamldoc, which no one really cares about, > so I guess that's ok) > > Thomas.