Open MPI logo

Open MPI Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Development mailing list

Subject: Re: [OMPI devel] RFC: OMPI git mirror on github.com
From: Mike Dubman (mike.ompi_at_[hidden])
Date: 2012-08-18 03:28:24


btw, once it is at github, it can be the only repo with multiple access
interfaces: svn,git

https://github.com/blog/1178-collaborating-on-github-with-subversion

Finally, we can commit from git or svn w/o keeping r/o mirrors for
hg/git .....

What do you think?

On Fri, Aug 17, 2012 at 2:07 PM, Jeff Squyres <jsquyres_at_[hidden]> wrote:

> 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/
>
>
> _______________________________________________
> devel mailing list
> devel_at_[hidden]
> http://www.open-mpi.org/mailman/listinfo.cgi/devel
>