From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jp.deplaix@gmail.com>
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 43B577F8A0
	for <caml-list@sympa.inria.fr>; Tue,  8 Apr 2014 14:57:57 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jp.deplaix@gmail.com) identity=pra; client-ip=74.125.82.178;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jp.deplaix@gmail.com";
  x-sender="jp.deplaix@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  jp.deplaix@gmail.com designates 74.125.82.178 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.178;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jp.deplaix@gmail.com";
  x-sender="jp.deplaix@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-we0-f178.google.com) identity=helo;
  client-ip=74.125.82.178;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jp.deplaix@gmail.com";
  x-sender="postmaster@mail-we0-f178.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AksCAO/xQ1NKfVKylGdsb2JhbABZg0GDYcEdgR4WDgEBAQEHCwsJEiqCJQEBAQQjDwENARscAQEDDAYFCw0CAgUWCwICCQMCAQIBDwIRAQUBHAYBDAEFAgEBh2MBAxEEAQicAIwOUYMOln0KGScNZIYHEQEFDIEdiyqCGQeCb4FJAQOWb4FugTSFHoYfg2BBgx+BQQ
X-IPAS-Result: AksCAO/xQ1NKfVKylGdsb2JhbABZg0GDYcEdgR4WDgEBAQEHCwsJEiqCJQEBAQQjDwENARscAQEDDAYFCw0CAgUWCwICCQMCAQIBDwIRAQUBHAYBDAEFAgEBh2MBAxEEAQicAIwOUYMOln0KGScNZIYHEQEFDIEdiyqCGQeCb4FJAQOWb4FugTSFHoYfg2BBgx+BQQ
X-IronPort-AV: E=Sophos;i="4.97,818,1389740400"; 
   d="scan'208";a="56143387"
Received: from mail-we0-f178.google.com ([74.125.82.178])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Apr 2014 14:57:56 +0200
Received: by mail-we0-f178.google.com with SMTP id u56so907189wes.9
        for <caml-list@inria.fr>; Tue, 08 Apr 2014 05:57:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=k+OLaNyHBVirujwOQWytX3KyTNqqepglO1npwsyCMGY=;
        b=xG1haugTkGW2fQnH7eHRbLXqKUYuMjhbsIZGlEvZeu6X6V/mD1NCT/OQUY5iANO1rb
         fRrg2RANLBzJkIDGQJZW5P+lAOF1EJVVndwCWgME7Z7TQu4AoEq6CobwjqjJNwwikMq+
         ct9C1ydENn8GHcZa7Vi7KIEKs2PqAVEjrt8FsnYgB6DUG+bxFgFdhQ4u/21VqEFxy7I3
         tkXgI50KWCFTbU+T3qAyx1EEXYGtdAqOQ8osBFniVp8/nICd1M88jdFcwoMonMa7UrK3
         Jqqtjwh/g6I+q0FN8sKIGHDTADXK3veJcJIn6JS5Nx/lx/KtgbRx1W3x8OGg2IJe9GqH
         wIpQ==
X-Received: by 10.194.189.80 with SMTP id gg16mr1562988wjc.84.1396961876267;
        Tue, 08 Apr 2014 05:57:56 -0700 (PDT)
Received: from [192.168.1.49] (AMontsouris-652-1-210-209.w90-46.abo.wanadoo.fr. [90.46.21.209])
        by mx.google.com with ESMTPSA id dd5sm2869081wib.12.2014.04.08.05.57.55
        for <multiple recipients>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Tue, 08 Apr 2014 05:57:55 -0700 (PDT)
Message-ID: <5343F2A1.8020209@gmail.com>
Date: Tue, 08 Apr 2014 14:59:13 +0200
From: Jacques-Pascal Deplaix <jp.deplaix@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:24.0) Gecko/20100101 Thunderbird/24.4.0
MIME-Version: 1.0
To: Jeremy Yallop <yallop@gmail.com>, 
 Gabriel Scherer <gabriel.scherer@gmail.com>
CC: caml users <caml-list@inria.fr>, 
 "platform@lists.ocaml.org" <platform@lists.ocaml.org>
References: <CAPFanBH4fYEmgoXkNLwAfta1cRVSPjmA-gB1GdzjeTWRATGeCQ@mail.gmail.com> <CAAxsn=GFAbSeJqu0qW4YYM08Diq=sEgC+7ziuBLOR5RDQxMWOw@mail.gmail.com>
In-Reply-To: <CAAxsn=GFAbSeJqu0qW4YYM08Diq=sEgC+7ziuBLOR5RDQxMWOw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] [ocaml-platform] [ANN] Experiment: OCaml patch
 review on github.com/ocaml/ocaml

I'm a little skeptical for the name of this repository. I think «
ocamldoc » should be reserved to the tool.
Maybe « documentation » or « manual » would be better.

Cheers,

On 04/08/2014 02:37 PM, Jeremy Yallop wrote:
> On 30 January 2014 11:34, Gabriel Scherer <gabriel.scherer@gmail.com> wrote:
>> TL;DR: During the six next months, we will follow pull requests (PR)
>> posted on the github mirror of the OCaml distribution, as an
>> alternative to the mantis bugtracker.
> We now also have a GitHub mirror of the OCaml manual:
>
>     https://github.com/ocaml/ocamldoc/
>
> Could we please extend the experiment to include pull requests to the
> manual as well as to the main source tree?  There have been a few pull
> requests recently that will need corresponding updates to the
> documentation.  It'd be useful to give source and documentation
> changes the same visibility.
>