From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thomas.gazagnaire@gmail.com>
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 D73137F890
	for <caml-list@sympa.inria.fr>; Thu, 27 Mar 2014 12:29:02 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thomas.gazagnaire@gmail.com) identity=pra;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="thomas.gazagnaire@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  thomas.gazagnaire@gmail.com designates 209.85.212.172 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="thomas.gazagnaire@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-wi0-f172.google.com) identity=helo;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="postmaster@mail-wi0-f172.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgMCAAcLNFPRVdSslGdsb2JhbABZgmVcwzaBGxYOAQEBAQcLCwkSKoIlAQEBAwE6BgE4AQMBCwEFBUY0AQUBHAaHeAMJCAEEogGPbZcEJw2HSBEBAQQMjjSDXoEUBKkSQYFngnU
X-IPAS-Result: AgMCAAcLNFPRVdSslGdsb2JhbABZgmVcwzaBGxYOAQEBAQcLCwkSKoIlAQEBAwE6BgE4AQMBCwEFBUY0AQUBHAaHeAMJCAEEogGPbZcEJw2HSBEBAQQMjjSDXoEUBKkSQYFngnU
X-IronPort-AV: E=Sophos;i="4.97,742,1389740400"; 
   d="scan'208";a="64990120"
Received: from mail-wi0-f172.google.com ([209.85.212.172])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Mar 2014 12:29:02 +0100
Received: by mail-wi0-f172.google.com with SMTP id hi5so5842770wib.5
        for <caml-list@inria.fr>; Thu, 27 Mar 2014 04:29:02 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to;
        bh=+BpHNEo1L5O9eiHAWn4Y323xlyK8Ds8S4C8fipa/WHs=;
        b=nMi+ZT4MjKEIRSHfMpj4H+DrMABMybj0gxhAjsejVLBGyNVLyl3/qlDAQrf4lbxQjA
         gJ+AKsY/J30sik5atmwt3RJdVchVNSzgGMn2NDhWFCqgSHwhoatavzY5KyI12VPMfaJX
         fNve8TzYISHgrC3Zet8qFbeBBmNH9df1tf6UNLwoz/ZRSr9sAq2jC6Zp3YIJTcrJDEtt
         9P7tVvrtqLXi4HbidY1omb6sxFEY/ZtStTkwIggEfhh4Yzkju6DL42SwqezqSISS2Xb7
         ddqllroMqVnu0mcMDB2/HaJUQD7bB/a4qAcyNYGWdFEXwyoo2LT/l/OAR6taFMUuXRKW
         tjvg==
X-Received: by 10.180.219.44 with SMTP id pl12mr4349221wic.12.1395919742225;
        Thu, 27 Mar 2014 04:29:02 -0700 (PDT)
Received: from ?IPv6:2001:630:212:248:2818:eaae:322d:a9d1? ([2001:630:212:248:2818:eaae:322d:a9d1])
        by mx.google.com with ESMTPSA id n15sm6377189wij.3.2014.03.27.04.29.00
        for <multiple recipients>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Thu, 27 Mar 2014 04:29:00 -0700 (PDT)
Sender: Thomas Gazagnaire <thomas.gazagnaire@gmail.com>
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\))
From: Thomas Gazagnaire <thomas@gazagnaire.org>
In-Reply-To: <ABC1F72E-61A4-40FE-8163-A0B21B3FF2EA@recoil.org>
Date: Thu, 27 Mar 2014 11:28:59 +0000
Cc: Goswin von Brederlow <goswin-v-b@web.de>,
 "Richard W.M. Jones" <rich@annexia.org>,
 caml-list@inria.fr
Content-Transfer-Encoding: quoted-printable
Message-Id: <18250FA8-A468-4D12-AEF1-F35FA7E2B9A2@gazagnaire.org>
References: <20140321222842.GA10374@annexia.org> <4C341FFE-FDF2-4EA3-B056-D4F658641E4C@math.nagoya-u.ac.jp> <20140322071508.GB10374@annexia.org> <CAPFanBFJ4uxZVDvevTbGFpLduG6nJmMxU=XsaKZjSzCoiF6y7A@mail.gmail.com> <20140325154958.GA20202@frosties> <20140325161648.GG10374@annexia.org> <20140327093420.GA19960@frosties> <ABC1F72E-61A4-40FE-8163-A0B21B3FF2EA@recoil.org>
To: Anil Madhavapeddy <anil@recoil.org>
X-Mailer: Apple Mail (2.1874)
Subject: Re: [Caml-list] Trivial compiler patches

> Thomas Gazagnaire started
> a CLI that dumps that information into a local git repository using
> his ocaml-git implementation, but it's not quite complete yet. Do
> get in touch if anyone's interested in helping finishing that effort
> off to provide a GitHub export to a more neutral format...

The repo is there: https://github.com/samoht/ghim for whose interested. But=
 that's just an early experiment for now on. Patches are more than welcome!

Thomas