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 83AA181799 for ; Tue, 23 Jul 2013 17:37:24 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kosmo.zb@gmail.com) identity=pra; client-ip=209.85.215.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kosmo.zb@gmail.com"; x-sender="kosmo.zb@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kosmo.zb@gmail.com designates 209.85.215.41 as permitted sender) identity=mailfrom; client-ip=209.85.215.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kosmo.zb@gmail.com"; x-sender="kosmo.zb@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-la0-f41.google.com) identity=helo; client-ip=209.85.215.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kosmo.zb@gmail.com"; x-sender="postmaster@mail-la0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8CAHOi7lHRVdcpjWdsb2JhbABahAuuHJIcgQoIFg4BAQEBBwsLCRIGJIIkAQEEAUABOAEDAQsBBQULDS4hARIBBQEcBhOHfgMJBpp8j06FDicNV4gBAQUMjQaBKYEPhDoDlXaBaYwng0EWKYFdgl47gTU X-IPAS-Result: Av8CAHOi7lHRVdcpjWdsb2JhbABahAuuHJIcgQoIFg4BAQEBBwsLCRIGJIIkAQEEAUABOAEDAQsBBQULDS4hARIBBQEcBhOHfgMJBpp8j06FDicNV4gBAQUMjQaBKYEPhDoDlXaBaYwng0EWKYFdgl47gTU X-IronPort-AV: E=Sophos;i="4.89,728,1367964000"; d="scan'208";a="27045550" Received: from mail-la0-f41.google.com ([209.85.215.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 17:37:23 +0200 Received: by mail-la0-f41.google.com with SMTP id fn20so6400596lab.0 for ; Tue, 23 Jul 2013 08:37:23 -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=RZz0Rt5PZwRHpdWD8TRotl5qu5o+B7LQ/5CQ3JT867o=; b=EYVB7xsJM/nWj2sAl0FnwoWUegpH3f1vF2lmKjqEH9QvW+NgZHWomhhjyR4sNd47sn oCRqPvMIgh4hVoyKApeqtYI2kGzK58vO3laqqf0I4HF/Q6eEdFJIChmoSXaCZ7JPc0J7 EDp47EcNgqhJLpIcQOFNHjVXSFPR2pvVJujJAZZ48pvq5gdl/tVJbLZRmjq95MuIESBe Qg4AppL6/D+zv2guKUpHZaoytPw6e8YhQeI/a3MIVdAv49j8KxTl5rAGLmvKwufN5h36 3M04sEn/LVjBMmpbQy55Ki0xnVqHN4Kzho+izlNyQIuCntXd0oeLziuu5e0YgxLQn+eb 9QHw== MIME-Version: 1.0 X-Received: by 10.112.131.103 with SMTP id ol7mr14367524lbb.70.1374593843055; Tue, 23 Jul 2013 08:37:23 -0700 (PDT) Sender: kosmo.zb@gmail.com Received: by 10.112.202.5 with HTTP; Tue, 23 Jul 2013 08:37:22 -0700 (PDT) In-Reply-To: <0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com> References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> <0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com> Date: Tue, 23 Jul 2013 16:37:22 +0100 X-Google-Sender-Auth: xgijYsLiLd6EK7WpdKU9263RmEs Message-ID: From: David Sheets To: Pierre-Etienne Meunier Cc: 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 On Tue, Jul 23, 2013 at 4:32 PM, Pierre-Etienne Meunier wrote: > Hi, > > I'm only using my os' package manager at this time, so I am not part of t= he troll. > But I find that Gerd made an interesting point, a few mails ago: > >> So far I've removed Core from GODI because it misses QA standards, and >> have no plans to add it again. >> >> Gerd > > A part of the troll has consisted of arguments about github, which is a n= on-open-source centralized version of what we had before. I you create a re= pository to distribute a cool open source replacement of github, with enoug= h extra features to kiil them in one week, and an innovative system that pa= ys you to host your content, I believe the people at github have the right = to shut your repository down. OPAM uses git. git is distributed. Github is a tool that you can (and they do) use with git. > It seems that neither godi nor opam do any better (for this particular po= int, of course): the dictator is different in the three cases, but there is= a dictator. In the case of opam, he has a friend dictator (github). There is no required dictator with OPAM. You may create your own git-based opam repository and use it with your own package descriptions in your own namespace. It is very flexible. > Will we see opam become distributed? It would be awesome to be able to se= nd packages back and forth between the repositories, without any centralize= d decision maker, just as in darcs, for instance. Ocaml has this property o= f being an atomic unix tool, conceived in this way, right? You can do this, today. Simply send an email patch from your local opam repository to your friends. Hope this helps, David