Re: [OMPI devel] Reminder: assign as well as request review

I am so often the guy complaining about what it busted. So, it feels nice to have contributed something *positive* on this list. -Paul On Fri, Jan 27, 2017 at 5:42 PM, r...@open-mpi.org wrote: > Thanks Paul - that does indeed help! > > On Jan 27, 2017, at 12:26 PM, Paul Hargrove wrote: > > Ral

Re: [OMPI devel] Reminder: assign as well as request review

Thanks Paul - that does indeed help! > On Jan 27, 2017, at 12:26 PM, Paul Hargrove wrote: > > Ralph, > > It looks like GitHub *might* have rolled out the solution to your problem > just this week: > > https://github.com/blog/2306-filter-pull-request-reviews-and-review-requests >

Re: [OMPI devel] Reminder: assign as well as request review

Ralph, It looks like GitHub *might* have rolled out the solution to your problem just this week: https://github.com/blog/2306-filter-pull-request-reviews-and-review-requests This appears to include an "Awaiting review from you" filter. Not quite a dashboard or notification, but at least a way to

[OMPI devel] Reminder: assign as well as request review

Hey folks Just a reminder. If you request a review from someone, GitHub doesn’t show that person’s icon when looking at the list of PRs. It only shows their icon and marks the PR with their ID if you actually “assign” it to that person. Thus, just requesting a review without assigning the PR to