From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yallop@gmail.com>
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 622E47F8A0
	for <caml-list@sympa.inria.fr>; Tue,  8 Apr 2014 14:37:35 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  yallop@gmail.com) identity=pra; client-ip=74.125.82.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="yallop@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  yallop@gmail.com designates 74.125.82.50 as permitted sender)
  identity=mailfrom; client-ip=74.125.82.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="yallop@gmail.com"; 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@mail-wg0-f50.google.com) identity=helo;
  client-ip=74.125.82.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="postmaster@mail-wg0-f50.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmYCAAHtQ1NKfVIylGdsb2JhbABZg0FLDIJLP8EdgRUIFg4BAQEBBwsLCRIqgiUBAQEEIx0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTh2cBAxENnAGMDlGDDpZ7ChknDWSGBxEBBQyBHYsqghkHgm+BSQEDlm+BboE0iz2DYBgpgx+BQDw
X-IPAS-Result: AmYCAAHtQ1NKfVIylGdsb2JhbABZg0FLDIJLP8EdgRUIFg4BAQEBBwsLCRIqgiUBAQEEIx0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTh2cBAxENnAGMDlGDDpZ7ChknDWSGBxEBBQyBHYsqghkHgm+BSQEDlm+BboE0iz2DYBgpgx+BQDw
X-IronPort-AV: E=Sophos;i="4.97,818,1389740400"; 
   d="scan'208";a="67099728"
Received: from mail-wg0-f50.google.com ([74.125.82.50])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Apr 2014 14:37:35 +0200
Received: by mail-wg0-f50.google.com with SMTP id x13so894954wgg.9
        for <caml-list@inria.fr>; Tue, 08 Apr 2014 05:37:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=gp0CdxBCm/XkHU1BvpIgXEAwjhBVCnViz7DkGOEpwVE=;
        b=SG7Epd/ZPUvvQ5458vymWlnR2lJ6tn/Sqbet5Oc+TvEfRghXDvnacoCJ7+PKCtB1Hi
         udx5DsHbfUnk85DVsBHdY9uQbQ04kVa6pfFpYB9ceBx7LK0SLVRnQl0/WRAljPsELGIk
         g7rbfdE9ZnvRyI2znGj9CF59t6ovuZc5FfOeRHuQItEfG+f9YxH1w9jgP+Ckc/n+KiYV
         LB7HzZE8ewC+d+UsFg1L4BlzLYkXQHLvYmffJMa69cE+i2bkm6fKB5pB5GnyXyRcgNCd
         8iMs4VSYEU4hSQP9j7VvIKb6Ay1KyJGXEzhwvrsmb/WUeKuLvypB8U1DiXe8gvDlSRBn
         LDbw==
MIME-Version: 1.0
X-Received: by 10.180.149.240 with SMTP id ud16mr4262109wib.23.1396960654795;
 Tue, 08 Apr 2014 05:37:34 -0700 (PDT)
Received: by 10.217.5.65 with HTTP; Tue, 8 Apr 2014 05:37:34 -0700 (PDT)
In-Reply-To: <CAPFanBH4fYEmgoXkNLwAfta1cRVSPjmA-gB1GdzjeTWRATGeCQ@mail.gmail.com>
References: <CAPFanBH4fYEmgoXkNLwAfta1cRVSPjmA-gB1GdzjeTWRATGeCQ@mail.gmail.com>
Date: Tue, 8 Apr 2014 13:37:34 +0100
Message-ID: <CAAxsn=GFAbSeJqu0qW4YYM08Diq=sEgC+7ziuBLOR5RDQxMWOw@mail.gmail.com>
From: Jeremy Yallop <yallop@gmail.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: caml users <caml-list@inria.fr>, 
	"platform@lists.ocaml.org" <platform@lists.ocaml.org>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] [ocaml-platform] [ANN] Experiment: OCaml patch
 review on github.com/ocaml/ocaml

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.