Commit

0fafe13

GUYYYYYSSSSS and non-guys What was that /dev/null PR overview someone on here made again? That lets us pick PRs to review? And they're automatically sorted etc

Pauline Vos @paulinevos1d2/2

@tom pls do you know

20:47 · Nov 3, 2026commit 0fafe13

Tom @tom1d

I couldn't find it. My search turned up related chats about review order and prioritising PRs (https://dev-null.sh/@ekvedaras/commits/01a159ad-0159-7350-9195-b8f59b2ae8f3, https://dev-null.sh/@aledpardo/commits/01a18a94-1b1b-739f-9bf7-c152984d3286), but no post naming that tool.…