[hwloc-devel] Create success (hwloc git dev-238-g14438d8)

2014-09-25 Thread MPI Team
Creating nightly hwloc snapshot git tarball was a success. Snapshot: hwloc dev-238-g14438d8 Start time: Thu Sep 25 21:02:49 EDT 2014 End time: Thu Sep 25 21:04:14 EDT 2014 Your friendly daemon, Cyrador

[hwloc-devel] Create success (hwloc git dev-238-gbf24c9c)

2014-09-25 Thread MPI Team
Creating nightly hwloc snapshot git tarball was a success. Snapshot: hwloc dev-238-gbf24c9c Start time: Thu Sep 25 21:01:01 EDT 2014 End time: Thu Sep 25 21:02:34 EDT 2014 Your friendly daemon, Cyrador

Re: [OMPI devel] Bitbucket vs. GitHub (was: Conversion to GitHub: POSTPONED)

2014-09-25 Thread Jed Brown
Paul Hargrove writes: > The GUIs for things like browsing commits, viewing diffs, etc are pretty > similar in capability and each is sufficiently intuitive (after a brief > learning curve) that I don't find I need any conscious effort to "mode > switch" between their use. The

Re: [OMPI devel] Bitbucket vs. GitHub (was: Conversion to GitHub: POSTPONED)

2014-09-25 Thread Paul Hargrove
First off: this is not an attempt at a "strong objection" to delay or change Jeff's stated plan. Just my view as somebody who already contributes to projects hosted on both GH and BB: Since the bulk of the DVCS "work" as a developer is (in my experience) done at the git command line, the choice

[OMPI devel] Bitbucket vs. GitHub (was: Conversion to GitHub: POSTPONED)

2014-09-25 Thread Jeff Squyres (jsquyres)
I had a look at bitbucket. SHORT VERSION I'm inclined to stick with Github. If no one strongly disagrees, I'll proceed with the GitHub migration next Wednesday, 1 Oct, 2014, starting at 8am US Eastern. MORE DETAIL All in all, there is massive overlap of features between Github and

Re: [OMPI devel] [OMPI bugs] [Open MPI] #4919: Fix the application abort routine so we actually abort

2014-09-25 Thread Joshua Ladd
@iivanov I am looking into a fix. On Thu, Sep 25, 2014 at 11:42 AM, Open MPI wrote: > #4919: Fix the application abort routine so we actually abort > ---+- > Reporter: rhc | Owner: