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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id F21ED7ED1A for ; Tue, 15 May 2012 21:23:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4CAISssk9KN1ZKm2dsb2JhbABEhXquKQEBAQEBCAkLCRQnghUBAQQBI1YFCwsaAhgOAgI9ChAGG4gBBQSoD5J+gTCJbIRoNWMElw6EUYVeh2s X-IronPort-AV: E=Sophos;i="4.75,595,1330902000"; d="scan'208";a="143928945" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 May 2012 21:23:04 +0200 Received: from heyho.local (23-233.197-178.cust.bluewin.ch [178.197.233.23]) by smtp.webfaction.com (Postfix) with ESMTP id 2C44620F661F; Tue, 15 May 2012 14:23:01 -0500 (CDT) Date: Tue, 15 May 2012 21:22:57 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: "Richard W.M. Jones" Cc: caml-list Message-ID: In-Reply-To: <20120515190553.GA18947@annexia.org> References: <20120515171144.GC18493@annexia.org> <7D441166-F24B-44CC-A8EE-E5D2BCB357BC@gmail.com> <20120515173436.GY18947@annexia.org> <20120515190553.GA18947@annexia.org> X-Mailer: sparrow 1.5 (build 1043.1) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] Re: Anyone using Benedikt Meurer's new ARM code generator? Le mardi, 15 mai 2012 =C3=A0 21:05, Richard W.M. Jones a =C3=A9crit : > But there are lots of git hosting places, including the option of > setting up git hosting at INRIA -- it's very easy to setup and > maintain. FWIW, I use cgit [1] here : http://erratique.ch/repos/ and I confirm it's e= asy to setup (cgi), maintain, and it's fast too.=20=20 Having been right today into the terrible svn web interface of ocaml's repo= sitory I would also welcome such a change.=20=20 That being said, I once worked on a project via git-svn (git help svn) and = it worked like a charm. You may want to try that (and me aswell).=20=20 Best, Daniel [1] http://hjemli.net/git/cgit/