I semi-randomly[1] assigned all open PRs to people. Please figure out the appropriate next action for the PR (often just reviewing). If the PR is abandoned, please take it over.
Also, Josh has got an incredible number of reviews on his plate. I encourage him to delegate some of these to the rest of us. If he does ask anyone to take a review, please do. Thanks to everyone who has already been knocking these out. jack. [1] Any PR that pinged a specific reviewer or who had a review already done I just assigned to that person. The remainder were round-robined across the rest of us in a random order. _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
