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" feature can be a replacement of the bot interpreting thumbs up/down. 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. Cheers, Gilles 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 > <javascript:_e(%7B%7D,'cvml','bosi...@icl.utk.edu');>> wrote: > > :+1: > > George. > > > On Mon, Sep 19, 2016 at 6:56 PM, Jeff Squyres (jsquyres) < > jsquy...@cisco.com <javascript:_e(%7B%7D,'cvml','jsquy...@cisco.com');>> > 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 it to: >> >> https://github.com/open-mpi/ompi >> 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. >> >> Notes: >> >> - 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 >> jsquy...@cisco.com <javascript:_e(%7B%7D,'cvml','jsquy...@cisco.com');> >> For corporate legal information go to: http://www.cisco.com/web/about >> /doing_business/legal/cri/ >> >> _______________________________________________ >> devel mailing list >> devel@lists.open-mpi.org >> <javascript:_e(%7B%7D,'cvml','devel@lists.open-mpi.org');> >> https://rfd.newmexicoconsortium.org/mailman/listinfo/devel >> > > _______________________________________________ > devel mailing list > devel@lists.open-mpi.org > <javascript:_e(%7B%7D,'cvml','devel@lists.open-mpi.org');> > https://rfd.newmexicoconsortium.org/mailman/listinfo/devel > > >
_______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
