Jeff, i could not find how to apply a label to a PR via the web interface (and i am not sure i can even do that since authority might be required)
any idea (maybe a special keyword in the comment ...) ? Cheers, Gilles On 2014/10/03 1:53, Jeff Squyres (jsquyres) wrote: > On Oct 2, 2014, at 12:47 PM, Ralph Castain <r...@open-mpi.org> wrote: > >> How are they going to review it, given they don't have authority to do >> anything on that branch? Can they still comment? Can they reassign them when >> done? > Yes, they can comment. > > The idea was that they would apply the "reviewed" label when they have > reviewed it successfully. These "reviewed" labels will then be easily > viewable in the PR listing by the RM/GK to know which ones are ready. >