From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C98577EE4B for ; Mon, 30 Sep 2013 13:48:27 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=67.195.87.31; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=67.195.87.31; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm44-vm8.bullet.mail.gq1.yahoo.com) identity=helo; client-ip=67.195.87.31; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm44-vm8.bullet.mail.gq1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlECAJdkSVJDw1cfjmdsb2JhbABNDYM/UgiuHZJYgSkWDgEBAQEHCwsJEymCIAUBAQQBCyAVAQIVFgwBAwsGBUYvAQ4BBhIGAYgFAQECCQYEq0QJgwGDeQEjAwEjA4ltAQYKAQEBjxE6hCIDiTmOTYEohQQ0VYhrb4Qn X-IPAS-Result: AlECAJdkSVJDw1cfjmdsb2JhbABNDYM/UgiuHZJYgSkWDgEBAQEHCwsJEymCIAUBAQQBCyAVAQIVFgwBAwsGBUYvAQ4BBhIGAYgFAQECCQYEq0QJgwGDeQEjAwEjA4ltAQYKAQEBjxE6hCIDiTmOTYEohQQ0VYhrb4Qn X-IronPort-AV: E=Sophos;i="4.90,1007,1371074400"; d="scan'208";a="34895174" Received: from nm44-vm8.bullet.mail.gq1.yahoo.com ([67.195.87.31]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Sep 2013 13:48:25 +0200 Received: from [98.137.12.61] by nm44.bullet.mail.gq1.yahoo.com with NNFMP; 30 Sep 2013 11:48:24 -0000 Received: from [98.137.12.207] by tm6.bullet.mail.gq1.yahoo.com with NNFMP; 30 Sep 2013 11:48:24 -0000 Received: from [127.0.0.1] by omp1015.mail.gq1.yahoo.com with NNFMP; 30 Sep 2013 11:48:24 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 692096.31240.bm@omp1015.mail.gq1.yahoo.com Received: (qmail 17452 invoked by uid 60001); 30 Sep 2013 11:48:23 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1380541703; bh=W219BO7R8MhpU7LLJoo/HJW9HV/ELTiePYrHsWyi8QQ=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=uRCXph0hUbJXb44ElKrq+1l3eHr2+nXy+/x1GliUOFepHFDsY6vs59kuxBEJ4SxKpbwa5B/7iK3tyViIvJ2eom9ASo4EaHzs4c2OWn42wOe4utri8sF9IOA3SY/PdiVdRzR54oxBW/7LWeT/VBjKAAW6XL/54NTHj80H9qxPsr8= 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:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=2dIOi9+f4+3G+dZ2AneVFSMaPvGq8x69WPOdfK1+bBUlhQ61Q/vUc/Z5hYaSR2vAoruMhLUl002NpAWS8m0o9jliOpK2rSYVy28bnlhJWo0sQk2z5WGru56XRtemKiH6E9wy9sNej1h9/Apt2Tgwxticr4e3y4FoXHHi71fIo4c=; X-YMail-OSG: tVveWzQVM1mPlycSI4vQwXj.FqnoYZ11Z1__kvsecAxbzXX bCAz0cMbuMPpUCCfGd9Jg1XXnaP6Xx9eSKmeFp43cnX30.iLusFeeoMn3DPr UvHb8qZvO8P7ef6GFX0bdRI2EQXxhCh387fQdTzROxriHicAtdJddVSbqjI4 FvvSTJXWWgmScSIt6hlKnOM3SKEQ7tiUmnFuIPOi11GuFSUZ84mGmvWB7n5G JmncmQWmWwgCjgDEZhQQbdmd495ug1rQ_hD3t8I0F5dXXjKMiBw8OXxs_U0n JYJJ5sVaYB1OirQ0wAfogK7RJewI3fKVhMFDyBKMxXQNYIR9jTxUDCyizYUD eaIGeqaQwvzH5zOnNxGAQMpjfNpsTvRXuSyueTDrNmrTPm.owL.NIntXpZi1 FD3kw95gam36aiKbAxecXnzJQpyx6a3rXdhhKji.himxTei6ZgZ9GBTOfolp VYpUOpntKTl82DBSioR79A2wjYnCA.D8M4d77jvpEcyTTxV3yoInFaORvVlO 1YxtNBY_9bVTuAraquZGT0QziiS.rdDsyA3C7dXrPWOu.14_fFCrjZP0BAV2 hxRFRLieGhqf5DDMmMewtkQDosVx3DeSEuNqR29uQvfbmgHC2QNlp9Xhy6I1 tBiurQPoh_C2HAh5DdO8WGfpo_zGdFvkgVnz0y9T_mWbb6LkA_hnEdWaC_zs - Received: from [195.23.39.98] by web120401.mail.ne1.yahoo.com via HTTP; Mon, 30 Sep 2013 04:48:23 PDT X-Rocket-MIMEInfo: 002.001,SGkgU3lsdmFpbiwKCj4gSSBoYXZlIHNvbWUgcHJvamVjdHMgb24gZ2l0aHViIGFuZCB0ZW5kIHRvIG9ubHkgaG9zdCB0aGUgc291cmNlIGNvZGUgb24KCj4gZWl0aGVyIGdpdGh1YiBvciBmb3JnZS5vY2FtbGNvcmUub3JnLiBIb3dldmVyIGZvciB3ZWJzaXRlLCBidWcgdHJhY2tpbmcsCj4gbWFpbGluZyBsaXN0cyBhbmQgcmVsZWFzZXMgSSBkbyBwcmVmZXIgdG8gY29udGludWUgaGF2aW5nIHRoZW0gb24KPiBmb3JnZS5vY2FtbGNvcmUub3JnLgoKWWVhaCwgSSdtIGFsc28gaW5jbGluZWQgdG8ga2VlcCBldmUBMAEBAQE- X-Mailer: YahooMailWebService/0.8.160.587 References: <1380474804.746.YahooMailNeo@web120405.mail.ne1.yahoo.com> Message-ID: <1380541703.15701.YahooMailNeo@web120401.mail.ne1.yahoo.com> Date: Mon, 30 Sep 2013 04:48:23 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: Sylvain Le Gall , "caml-list@inria.fr" 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 Sylvain, > I have some projects on github and tend to only host the source code on > either github or forge.ocamlcore.org. However for website, bug tracking, > mailing lists and releases I do prefer to continue having them on > forge.ocamlcore.org. Yeah, I'm also inclined to keep everything on the Forge, except for the Git repo.=A0 One question though: is it possible to keep the "SCM" tab on the project's Forge page, but make its content just a small message stating that the repo is hosted on Github, together with a link? Best regards, Dario Teixeira