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 EB27D7EE4B for ; Mon, 30 Sep 2013 12:36:20 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.136.218.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.136.218.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm5.bullet.mail.gq1.yahoo.com) identity=helo; client-ip=98.136.218.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm5.bullet.mail.gq1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoCACpTSVJiiNpGlGdsb2JhbABNDYQRCK4ckliBKRYOAQEBAQcLCwkSKoIgBQEBBAELIBUBAhUhAQEDCwYFRi8BDgEGEgaIBgEBAgkGBKsjCYMBg30BIwMBIwOJbQEGCgEBAY8RMweEIgOJOY5Nhiw0VYhrb4Qn X-IPAS-Result: AkoCACpTSVJiiNpGlGdsb2JhbABNDYQRCK4ckliBKRYOAQEBAQcLCwkSKoIgBQEBBAELIBUBAhUhAQEDCwYFRi8BDgEGEgaIBgEBAgkGBKsjCYMBg30BIwMBIwOJbQEGCgEBAY8RMweEIgOJOY5Nhiw0VYhrb4Qn X-IronPort-AV: E=Sophos;i="4.90,1007,1371074400"; d="scan'208";a="28538183" Received: from nm5.bullet.mail.gq1.yahoo.com ([98.136.218.70]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Sep 2013 12:36:19 +0200 Received: from [98.137.12.191] by nm5.bullet.mail.gq1.yahoo.com with NNFMP; 30 Sep 2013 10:36:16 -0000 Received: from [98.137.12.227] by tm12.bullet.mail.gq1.yahoo.com with NNFMP; 30 Sep 2013 10:36:16 -0000 Received: from [127.0.0.1] by omp1035.mail.gq1.yahoo.com with NNFMP; 30 Sep 2013 10:36:16 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 822238.18973.bm@omp1035.mail.gq1.yahoo.com Received: (qmail 84449 invoked by uid 60001); 30 Sep 2013 10:36:16 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1380537376; bh=SrCqg1+cagfmeR6pECHP4FFIngcU2gAZNEypGNXRRGg=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=NcwEF21EieI8GuHn/pBw8MAxxuLIrsgY9keHQTQQ9f7Jyp3JTFsmf3GvSTsu2jZjG8wt05Ao6/TPpAuKZucaPOAzvJ5MHJmhp/VarpBbaUKyxnhgTLDRcLfbpi4YRksNp4xwpSdsFZRNJBdoQ2tQ8oyvBr1r67OWXgy4urgy9fo= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=JiuAC+XNuNSodzUP57o9hr7HUXw4fRWa6mQuNLvaexg9YDhQ1/WJ8XnRrdSwMUeoc/HsG21ElVYKaftF1YxYTlQ0T01ihMwRwoo0rjJrCYnFWzb98inS5I8dLqi5z4PBivm6iEBTxLh6iAeXo+Lbqla9JKnEQ/46HmRO1v1F/H0=; X-YMail-OSG: bbrYLMYVM1lYg_TbVNzELQYhIwHf1615ebfqaGARKkIdxMN 3uG9pp3S6aZzuOy4LtIQRYNDrNRcSQj_gpV3KYNgpbq.2U5aLZEK5zmIz0EB NG3fzsdEwYIkYkLYCnvG1lihfdGpLA31_z.rY9i_j.sR4T8uUDH_29PDAX13 Z7SolzG9ZQT8TttQ217vxqr7VNoD4wBmwEOLfRkIW_K.kHAS9rkR2IgjDVs5 XMs5GKxOOVDvjunFhI0FfRdwxnobP6Xa1.Z1elpHCIqxpHEs1HLSpqbovtC0 YIkK_jshwUvoi6WadAywdLLLOOsWa8e0VwZEw3eDo97pWoqU4lmixvEvInsW I1IQsyF2CKOTuk2hDuod8HxDFs4V5jRnFLnv.xn7EMw7J2FsMYSUgjMOFuOK nreKis.CAkIG7En0rsDzQOe6g6BiMzQFRkI1a.MZkpEFDkImGnqBhQJtxyp1 klpwMM0M78dzaQVvrRcISTjzDBXUkkD9Qnb7ZPB_08Fu.K2touIsxhCKJRV5 tOT0LS.NuXpnWxLiZ5GwgBEkXsp6qHyhtcLPjHZ7U9VTXoZMDYHupWJq_f2G EGJxd3dE.9.6uAfYlSkkUCc8RvjSwOtsHPEKyOzMsFIK5pg-- Received: from [195.23.39.98] by web120406.mail.ne1.yahoo.com via HTTP; Mon, 30 Sep 2013 03:36:15 PDT X-Rocket-MIMEInfo: 002.001,SGksCsKgCgo.IERvIHlvdSBrbm93IGlmIHRoZXJlIGlzIHN1cHBvcnQgZm9yIEdJVCBvbiBPQ2FtbCBGb3JnZSA_Cj4gCj4gSWYgc3VjaCBhIHN1cHBvcnQgZXhpc3RzLCB5b3UgY2FuIGp1c3QgY29udmVydCB5b3VyIFNWTiByZXBvIHRvIEdJVCBvbgo.IE9DYW1sIEZvcmdlLCBhbmQgbWlycm9yIHlvdXIgbmV3IHJlcG8gb24gR2l0SHViLiBZb3UgY2FuIHRoZW4gZGVjaWRlCj4gZm9yIGV4YW1wbGUgdG8gd29yayBvbiB0aGUgR0lUIHJlcG8gb2YgR2l0SHViLCBhbmQgaGF2ZSBhIHNjcmlwdAo.IGF1dG9tYXQBMAEBAQE- X-Mailer: YahooMailWebService/0.8.160.587 References: <1380474804.746.YahooMailNeo@web120405.mail.ne1.yahoo.com> Message-ID: <1380537375.84426.YahooMailNeo@web120406.mail.ne1.yahoo.com> Date: Mon, 30 Sep 2013 03:36:15 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: Fabrice Le Fessant Cc: OCaml mailing-list In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] OCaml Forge and Github Hi, =A0 > Do you know if there is support for GIT on OCaml Forge ? >=20 > If such a support exists, you can just convert your SVN repo to GIT on > OCaml Forge, and mirror your new repo on GitHub. You can then decide > for example to work on the GIT repo of GitHub, and have a script > automatically update and push any modification on GitHub to OCaml > Forge. Git makes having several such repos very easy to administrate > and synchronise. Yes, I considered that as well.=A0 However, I reckon it would just add entr= opy without much added benefit.=A0 I can easily imagine someone coming across both repos and wondering if they are indeed kept in sync, or even if they a= re from the same entity.=A0 On the other hand, it would be nice if the project= 's page on OCaml Forge also had a "SCM" tab, but one which simply linked to Github.=A0 I'll have to ask Sylvain... Best regards, Dario Teixeira