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 0CCC381799 for ; Tue, 23 Jul 2013 02:03:58 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.braudsantoni@gmail.com) identity=pra; client-ip=209.85.223.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="nicolas.braudsantoni@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of nicolas.braudsantoni@gmail.com designates 209.85.223.179 as permitted sender) identity=mailfrom; client-ip=209.85.223.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="nicolas.braudsantoni@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-ie0-f179.google.com) identity=helo; client-ip=209.85.223.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="postmaster@mail-ie0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqoCACXH7VHRVd+zlGdsb2JhbABbhktHvSaBFhYOAQEBAQcLCwkSKoIkAQEFIx0BGxwCAwwGBQsNCRYLAgIJAwIBAgEREQEFARwTCAEBEIdpAQMPmwmMAE+Cf4RMChknDWSHdAEFDJARFoJHgSEDkBCBLYYgj2g/hFQ X-IPAS-Result: AqoCACXH7VHRVd+zlGdsb2JhbABbhktHvSaBFhYOAQEBAQcLCwkSKoIkAQEFIx0BGxwCAwwGBQsNCRYLAgIJAwIBAgEREQEFARwTCAEBEIdpAQMPmwmMAE+Cf4RMChknDWSHdAEFDJARFoJHgSEDkBCBLYYgj2g/hFQ X-IronPort-AV: E=Sophos;i="4.89,722,1367964000"; d="asc'?scan'208";a="26938420" Received: from mail-ie0-f179.google.com ([209.85.223.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 02:03:57 +0200 Received: by mail-ie0-f179.google.com with SMTP id c10so17240229ieb.10 for ; Mon, 22 Jul 2013 17:03: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:subject:references :in-reply-to:x-enigmail-version:content-type; bh=eNfaiM7BEJzVFJUDvUS/A5Z/AgKga+4XVwJ8U9uSB+0=; b=yIyourIoEGNk6SDhFFBk/XkM4pSMpyWF7nLll4o3boQvK5m9jkKx5XzvhpkE6n1SbZ EMo3aA3l50vB+etsGHe0dZ+jFKqCVF3CXgvphNrTH7XctMdQqq2oVOqxxu4fjsJL7FG/ WHl32dcONdkVEBcgMsGKR+PPjisMEiU/XlNMms7n/4gS6ZPw0tIZ89WbgKwtw3bfyEfu oFFfzzwDERBT4YuBSBO4nK55iZQmaPDkAV0JAewPg8LOQUCspfUSPVarCbT1gG84hgcr UvPsRGpMMW9qH/JMZOE9vw28jqo4g3SgcVPVUZI7HRYhm2WLMdSI/Zk5P3pktEhKIsmR NO+g== X-Received: by 10.43.168.67 with SMTP id nh3mr18319543icc.33.1374537836255; Mon, 22 Jul 2013 17:03:56 -0700 (PDT) Received: from sysadmins-MacBook-Pro.local ([64.254.251.42]) by mx.google.com with ESMTPSA id n5sm2501082igv.5.2013.07.22.17.03.55 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 22 Jul 2013 17:03:55 -0700 (PDT) Message-ID: <51EDC862.1050608@gmail.com> Date: Mon, 22 Jul 2013 20:03:46 -0400 From: Nicolas Braud-Santoni User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:17.0) Gecko/20130620 Thunderbird/17.0.7 MIME-Version: 1.0 To: caml-list@inria.fr References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> <20130722234419.GB5387@siouxsie> In-Reply-To: <20130722234419.GB5387@siouxsie> X-Enigmail-Version: 1.5.2 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="rtWkl68OklmIoiwqNussqtIrNbJVXUgtL" Subject: Re: [Caml-list] GODI is shutting down This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --rtWkl68OklmIoiwqNussqtIrNbJVXUgtL Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable IMHO, there is more to OPAM's contributor-friendliness than "being on GitHub". But having a clear, simple process for contributing to OPAM may help. My 2 zorkmids, Nicolas Le 7/22/13 7:44 PM, oliver a =C3=A9crit : > On Mon, Jul 22, 2013 at 11:21:26PM +0200, Gerd Stolpmann wrote: > [...] >> The sad part is that OPAM is only clearly better in one point, namely in >> interacting with the community (via Github). > [...] > > If this is the one and only problem, it might be solved, > by putting GODI on github. > > > Ciao, > Oliver > --rtWkl68OklmIoiwqNussqtIrNbJVXUgtL Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) iQIcBAEBAgAGBQJR7chqAAoJEPv4tP2UoeSeZg0QAJMu2BbjvUVqE4MFemxtLu/O BKVyvHNgsdUqZOXswWiqkZNQ9tziN0+4UMLAc8l9XvrECYmZ/3YP54DsJNnAj1S/ jGm9cQYeAdfKXyGORF+9y9v9ZAM+sDkEv2FBDa73FhDtogysGTFiseeahnYgsHJB V5RIiL6KiA47jpWvufrXDoQvo5nhBbQuo8Mr+smmKNt60wnG6YWkZISlzJ63nrMz ZbqLsXGsgn5bLblGd5cJwdLG8O9L+d32bF75sWBc78tRkumnLhz7toxTPbHMEu6e bbf27E4NPWq2MLYfnfSkt91LtgtlKzeHst5JO67xWdBqDMg/qf+tVEF782jUp7MU 0ZqtwLzGFYqkuVfFgXAdK2GVZyHF59q1Oco1kKrGjZ4QNe4l3UMVvaVQXfbhIqAW at5r/4AqLZGDUiRgx5WVeWqzEYM2/igOHja8zVYHIzLk3t+WtndoHbuzBFoOHQ9b bFi9mA17OoY4aJaZsOuEPPMSfqGcdI6MQXzQC7oM1sHb8RPGrhNrjYq1gcFeji2L ARZCfNKHjn69FQF8gJMcjsqzCWQj7VYm98XEtzVvFdlL1RgaZFPy6wHpOSgOzvKx tsXXXXvLOfOKASpdrQ1Iu6E/rkAlm3APAMAhY97OYya7t5UoXCaoXl+YD7okQi1y dGOryLN65vION1f4sRsZ =EKLp -----END PGP SIGNATURE----- --rtWkl68OklmIoiwqNussqtIrNbJVXUgtL--