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
