Open MPI logo

Open MPI Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |  

This web mail archive is frozen.

This page is part of a frozen web archive of this mailing list.

You can still navigate around this archive, but know that no new mails have been added to it since July of 2016.

Click here to be taken to the new web archives of this list; it includes all the mails that are in this frozen archive plus all new mails that have been sent to the list since it was migrated to the new archives.

Subject: Re: [OMPI devel] RFC: OMPI git mirror on github.com
From: Jeff Squyres (jsquyres_at_[hidden])
Date: 2012-08-17 07:07:47


Come to think of it, why not host the official mercurial SVN mirror repo on Bitbucket for the same reason (lots of nice hg features on Bitbucket -- nicer than hgweb/www.open-mpi.org's hosting).

There's no need to delete the original mercurial SVN mirror on www.open-mpi.org (because I know of at least one group who is actively using it), but we could deprecate it and schedule to take it down in, say, 6 months or so.

On Aug 16, 2012, at 9:06 PM, Ralph Castain wrote:

> Putting it on github is a good solution - gitweb can be rather annoying, from prior experience.
>
> On Aug 16, 2012, at 4:08 PM, Jeff Squyres <jsquyres_at_[hidden]> wrote:
>
>> WHAT: Create a git mirror of SVN (just like we have for Mercurial), host it on github.com (vs. hosting it on www.open-mpi.org)
>>
>> WHY: LANL and Mellanox both asked for git mirrors
>>
>> WHEN: Already done
>>
>> WHERE: https://github.com/open-mpi/ompi-svn-mirror
>>
>> ------
>>
>> LANL and Mellanox prefer git to Mercurial, so they asked me to setup a git mirror for SVN (similar to what we have for Mercurial: http://www.open-mpi.org/svn/mercurial.php). No problem; I did it.
>>
>> I was trying to setup gitweb on www.open-mpi.org and running into a few problems (I'm not super-familiar with the intricacies of git), and I had an epiphany: why not put the OMPI SVN git mirror on github.com?
>>
>> There doesn't seem to be much of a reason to host the git repo on www.open-mpi.org, and github.com has lots of services that git people tend to like. So I did it.
>>
>> What do people think?
>>
>> 1. Having a git mirror at all (I think this is a no-brainer, since some of our active developers want it)
>> 2. Hosting it at github.com instead of www.open-mpi.org
>>
>> --
>> Jeff Squyres
>> jsquyres_at_[hidden]
>> For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
>>
>>
>> _______________________________________________
>> devel mailing list
>> devel_at_[hidden]
>> http://www.open-mpi.org/mailman/listinfo.cgi/devel
>
>
> _______________________________________________
> devel mailing list
> devel_at_[hidden]
> http://www.open-mpi.org/mailman/listinfo.cgi/devel

-- 
Jeff Squyres
jsquyres_at_[hidden]
For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/