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 372D481799 for ; Tue, 23 Jul 2013 18:55:59 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of virgile.prevosto@gmail.com) identity=pra; client-ip=209.85.214.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of virgile.prevosto@gmail.com designates 209.85.214.181 as permitted sender) identity=mailfrom; client-ip=209.85.214.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@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-ob0-f181.google.com) identity=helo; client-ip=209.85.214.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="postmaster@mail-ob0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwCAPW07lHRVda1k2dsb2JhbABahAvASIELCBYOAQEBAQcLCwkUBCSCJQEFQAE4AQMMAQUFCzsiEgEFARwGEwiHdgMPmw6PToUIJw2IWAEFDI8+hDoDl1+PaBYpgV2CXzo X-IPAS-Result: AmwCAPW07lHRVda1k2dsb2JhbABahAvASIELCBYOAQEBAQcLCwkUBCSCJQEFQAE4AQMMAQUFCzsiEgEFARwGEwiHdgMPmw6PToUIJw2IWAEFDI8+hDoDl1+PaBYpgV2CXzo X-IronPort-AV: E=Sophos;i="4.89,729,1367964000"; d="scan'208";a="27055104" Received: from mail-ob0-f181.google.com ([209.85.214.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 18:55:58 +0200 Received: by mail-ob0-f181.google.com with SMTP id 16so10468301obc.26 for ; Tue, 23 Jul 2013 09:55:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=qAAEI0MnrW4aUAxf0Nx1YEcnulHNW9p2XcINCCmsj9w=; b=AigwwCIsijZapBt6QWpl2oP50jUO7csAgE516RIngeiwFisFdCXlsPHB5gVa2lYMil EiV6avZhMFTDEUWlJCEfh3TQo7FDNDZjrh7zn3h8kUHNVgDs0wBOd6e37rD3R5MVNtw4 6JmF/9vhST7FtZHBfGmxHHndFaduWS36iKPz4EM86WYqXNO0nGFZrn/+OIgPKqGf+Qh8 fkI77wtgaUILGtd9JUmHtAmxCC1q2WoCEgNHlVdIbTxNI8rUDwdrMxQSC6m4TEhQxJN+ 28KIZuqiF2dLjnO/t24l0d+vfobo4ZBuMBIdm0+y0DGKArb4MZnvsQppNiamRWx1VzuO NQGw== MIME-Version: 1.0 X-Received: by 10.42.140.1 with SMTP id i1mr18586705icu.16.1374598557400; Tue, 23 Jul 2013 09:55:57 -0700 (PDT) Sender: virgile.prevosto@gmail.com Received: by 10.64.70.168 with HTTP; Tue, 23 Jul 2013 09:55:57 -0700 (PDT) In-Reply-To: References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> <0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com> Date: Tue, 23 Jul 2013 18:55:57 +0200 X-Google-Sender-Auth: OSXpU90078CPZ4YyW8ri03jDy-8 Message-ID: From: Virgile Prevosto To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: Pierre-Etienne Meunier , O Caml Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Re: [Godi-list] GODI is shutting down Hello, 2013/7/23 Daniel B=FCnzli : > I can't speak for godi, but at least for opam you get your facts wrong. T= here's nothing specific about github in opam and everybody can be a dictato= r. I'm one, just type: > Just for the sack of completeness, as I feel that this flame war is a little bit one-sided, this is also perfectly doable with Godi (like most of the awesome opam features that have been mentioned here these last few days by the way), either by changing the value of the GODI_BUILD_SITE environment variable (yes, I know, it's a bit old-fashioned), and/or with the profiles that have appeared in the latest version of Godi. Best regards, -- E tutto per oggi, a la prossima volta Virgile