Re: [OMPI devel] Sample of merging ompi and ompi-release

2016-09-20 Thread Jeff Squyres (jsquyres)
We talked about this on the call today. SHORT VERSION = I'll merge ompi and ompi-release in the very near future (next 48 hours). Any PRs still open on the ompi-release repo will need to be re-opened on the ompi repo by their respective authors. MORE DETAIL === The

Re: [OMPI devel] Sample of merging ompi and ompi-release

2016-09-20 Thread Gilles Gouaillardet
Ralph, On the ompi-release repo, developers with no write permissions (e.g. all but RM, GK and admin) cannot set label nor milestone nor assign PR. The bot was a creative way to work around this limitation. IIRC, the bot does not accept instructions from non Open MPI developers. The new "review"

Re: [OMPI devel] Sample of merging ompi and ompi-release

2016-09-19 Thread r...@open-mpi.org
One question, to be discussed on the webex: now that github has a “reviewed” feature, so we still need/want the “thumbs-up” bot? If we retain it, then how do we deal with the non-sync’d, duplicative mechanisms? > On Sep 19, 2016, at 4:23 PM, George Bosilca wrote: > >

Re: [OMPI devel] Sample of merging ompi and ompi-release

2016-09-19 Thread George Bosilca
:+1: George. On Mon, Sep 19, 2016 at 6:56 PM, Jeff Squyres (jsquyres) wrote: > (we can discuss all of this on the Webex tomorrow) > > Here's a sample repo where I merged ompi and ompi-release: > > https://github.com/open-mpi/ompi-all-the-branches > > Please compare

[OMPI devel] Sample of merging ompi and ompi-release

2016-09-19 Thread Jeff Squyres (jsquyres)
(we can discuss all of this on the Webex tomorrow) Here's a sample repo where I merged ompi and ompi-release: https://github.com/open-mpi/ompi-all-the-branches Please compare it to: https://github.com/open-mpi/ompi and https://github.com/open-mpi/ompi-release It's current to as of