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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F291A81799 for ; Tue, 23 Jul 2013 12:01:53 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.10 as permitted sender) identity=helo; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisCALZT7lHU4xEKbWdsb2JhbABbgzvBCYESFg4LCwwGFgMlgiQBAQQBOj8FgRgbBhMJiAEKCLhoFolNhG2BQweDfgOOZYohkzg X-IPAS-Result: AisCALZT7lHU4xEKbWdsb2JhbABbgzvBCYESFg4LCwwGFgMlgiQBAQQBOj8FgRgbBhMJiAEKCLhoFolNhG2BQweDfgOOZYohkzg X-IronPort-AV: E=Sophos;i="4.89,726,1367964000"; d="scan'208";a="21991936" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 12:01:53 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-211-114.pools.arcor-ip.net [94.219.211.114]) by mrelayeu.kundenserver.de (node=mrbap2) with ESMTP (Nemesis) id 0MDEgG-1UttNs03bw-00Gsjp; Tue, 23 Jul 2013 12:01:52 +0200 Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 8FD47C00CF; Tue, 23 Jul 2013 12:01:51 +0200 (CEST) Date: Tue, 23 Jul 2013 12:01:51 +0200 From: Gerd Stolpmann To: Adrien Nader Cc: Gerd Stolpmann , caml-list@inria.fr, godi-list@ocaml-programming.de In-Reply-To: <20130723090713.GA9274@notk.org> (from adrien@notk.org on Tue Jul 23 11:07:13 2013) X-Mailer: Balsa 2.4.11 Message-Id: <1374573711.25411.3@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:a2SQnsE3pMULP9xvumkpqSv0/OdZMevXA5jjUIn0zEU YMJ4bc42kKBaSKje8WBQYEtwtSkhmqQDNniM5/O5iEYg78kx0i MsEvRgigjUlBCGuUgksKzeX/5IXvVpSid+8nfgQopQConhi1FC gvyETFJBb1mq8YwUbKz7SJjnoTPdmSiyEn9CzS/vaGEjnwnoaU oZ0buHulMJK/nD+/fuBHzM1mk/Q0Zw5cOKZWYlhuevC63Pw9Mx mJJ3nuAodBRsFZOfR/fQK6CwToOwFG654sVlPyqjuMiAWbo+EA 4JrVJddaBrw4QFJ3k1A2TTJ6kVSy3qxr7AWILIhlJEvfVQqvPK e+JcYcaIYYTcE8nZ8U7xYeuOVzhavqk+v10yUGhx6 Subject: AW: [Caml-list] GODI is shutting down > You haven't only written the code but you've also setup a whole > infrastructure. Would you mind trying to pass it over or migrate it, > maybe not leaving completely but letting others do some of the=20=20 > annoying > admin-related tasks? Both is possible - there are two VMs, one with the repository and the=20=20 release infrastructure, one with the autobuilder, and it would be easy=20= =20 to migrate it somewhere else. It's also possible to leave it where it=20=20 is if only someone else takes over the leadership of the project, and=20=20 invests time to renew it. (My problem is only that I don't have the=20=20 energy anymore to run it, but if I can help with computing resources it=20= =20 would be a pleasure.) > I also believe "pinning" is a bad idea in general: it picks bits and > pieces of software from different timeframes. It will work for > exceptional cases but otherwise you end up with an exponential=20=20 > explosion > of combinations of versions that haven't been tested together. Well, there is in deed one good use: imagine you have a group of people=20= =20 needing to use exactly the same versions. So you basically freeze the=20=20 versions at one point in time, knowing that they work well together. If=20= =20 you need newer versions, you move the "pin" together (or update the=20=20 same set of local patches). Ideally, you can also create fresh=20=20 installation with the pinned versions. GODI supports this for some time=20= =20 now (although by editing files only, but I guess this is ok for a=20=20 group, say a team in a company). > There could be a git branch or a git repo for stable stuff along with > the development tree. Citrix already does that and others already do > that too. Which means that there are several parallel distributions=20=20 > and > that has its drawbacks too. Yes, you can emulate this with git. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=