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 859917EE4C for ; Mon, 30 Sep 2013 14:39:10 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gildor478@gmail.com designates 209.85.223.171 as permitted sender) identity=mailfrom; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@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-ie0-f171.google.com) identity=helo; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-ie0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQBAEZwSVLRVd+rm2dsb2JhbABagz9SriWTeggWDgEBAQEBBgsLCRQogiYBBUABLQsBAwwBBQULIhkiEgEFAQoSBhMIE4dZAw+fH49chCAnDYlkAQUMjFqCfIQYA5YagWWBL4sWg0oYKYFigm06gTWBMg X-IPAS-Result: AoQBAEZwSVLRVd+rm2dsb2JhbABagz9SriWTeggWDgEBAQEBBgsLCRQogiYBBUABLQsBAwwBBQULIhkiEgEFAQoSBhMIE4dZAw+fH49chCAnDYlkAQUMjFqCfIQYA5YagWWBL4sWg0oYKYFigm06gTWBMg X-IronPort-AV: E=Sophos;i="4.90,1007,1371074400"; d="scan'208";a="34905082" Received: from mail-ie0-f171.google.com ([209.85.223.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Sep 2013 14:39:08 +0200 Received: by mail-ie0-f171.google.com with SMTP id at1so9908310iec.2 for ; Mon, 30 Sep 2013 05:39:08 -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:message-id:subject :from:to:cc:content-type; bh=p8V/GTmDYW4JXlVNHzljXoKsjPS5EMOhs5+73wkTzTI=; b=dvtEx2RR/SyrRwgKM60UN2tIcGkCFJDePnFGGrGq13VFP2JXzX9NCYiQUKRqULuQEK OkSha9HC68SC4G6yuvxaKmMwpcaJb43chO867C0eNh3WTEloMhNWMeA2WY6xEmR8/b4z 4tRkGTDQzUSny8zet7ijiYJRuXWTiEGwX5yLb9VU6TDydtZZdboQSXg6Mp44vmhtmTD5 ALBc7GuBe6YF2BxzQri4+y2SBmaa2h8lyGrHu3ovKCsPbkOP47+vVzqtlkIHMFRxkujX KrcLB1pL53Oaa0MVCS7K6oJJBryFIcCJr44hd0Kuj/NEZ/c9ilsimg1UrZGQuGtnwnpy 3ZqA== MIME-Version: 1.0 X-Received: by 10.50.61.179 with SMTP id q19mr13599756igr.33.1380544748395; Mon, 30 Sep 2013 05:39:08 -0700 (PDT) Sender: gildor478@gmail.com Received: by 10.64.31.168 with HTTP; Mon, 30 Sep 2013 05:39:08 -0700 (PDT) In-Reply-To: <1380541703.15701.YahooMailNeo@web120401.mail.ne1.yahoo.com> References: <1380474804.746.YahooMailNeo@web120405.mail.ne1.yahoo.com> <1380541703.15701.YahooMailNeo@web120401.mail.ne1.yahoo.com> Date: Mon, 30 Sep 2013 14:39:08 +0200 X-Google-Sender-Auth: -6apF2_aMG4VvdT99_nN86kjuYQ Message-ID: From: Sylvain Le Gall To: Dario Teixeira Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] OCaml Forge and Github Hi, 2013/9/30 Dario Teixeira : > 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. 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? > I need to write an extension to FusionForge to do that and I don't have enough time to do it right now. This is on my TODO list but with low priority. What you can do is to add a link to the description that points to your github account, best solution for now... Regards Sylvain