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