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 make the query.

-Paul


On Fri, Jan 27, 2017 at 7:46 AM, r...@open-mpi.org <r...@open-mpi.org> wrote:

> 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 someone
> makes it impossible for them to see which PRs are awaiting their attention.
>
> Speaking personally, I have no idea which PRs are awaiting my attention
> unless you assign them to me. So please remember to do so.
>
> Thanks
> Ralph
>
> _______________________________________________
> devel mailing list
> devel@lists.open-mpi.org
> https://rfd.newmexicoconsortium.org/mailman/listinfo/devel




-- 
Paul H. Hargrove                          phhargr...@lbl.gov
Computer Languages & Systems Software (CLaSS) Group
Computer Science Department               Tel: +1-510-495-2352
Lawrence Berkeley National Laboratory     Fax: +1-510-486-6900
_______________________________________________
devel mailing list
devel@lists.open-mpi.org
https://rfd.newmexicoconsortium.org/mailman/listinfo/devel

Reply via email to