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" feature can be a replacement of the bot interpreting
I had no time me to check the unified repo, so I did not check who can set
label/milestone/assignment and review PR vs the release branches.
If developer can do that, then the bot is no more necessary.
That being said, I am happy to keep help maintaining it for those,
including myself, that are more comfortable with typing text rather than
clicking a web interface.
On Tuesday, September 20, 2016, r...@open-mpi.org <r...@open-mpi.org> wrote:
> 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 <bosi...@icl.utk.edu
> On Mon, Sep 19, 2016 at 6:56 PM, 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:
>> Please compare it to:
>> and https://github.com/open-mpi/ompi-release
>> It's current to as of within the last hour or so.
>> Feel free to make dummy commits / pull requests on this rep. It's a
>> sandbox repo that will eventually be deleted; it's safe to make whatever
>> changes you want on this repo.
>> - All current OMPI developers have been given the same push/merge access
>> on master
>> - Force pushes are disabled on *all* branches
>> - On release branches:
>> - Pull requests cannot be merged without at least 1 review
>> *** ^^^ This is a new Github feature
>> - Only the gatekeeper team can merge PRs
>> If no one sees any problem with this sandbox repo, I can merge all the
>> ompi-release branches to the ompi repo as soon as tomorrow, and config the
>> same settings.
>> Jeff Squyres
>> For corporate legal information go to: http://www.cisco.com/web/about
>> devel mailing list
> devel mailing list
devel mailing list