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
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"
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:
>
>
:+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
(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