What is PR Focus?
Keep track of important PRs - and ignore the rest. Do you work across multiple GitHub repositories? Do you need to know about updates to your pull requests? Or do you need to track pull requests where you're a reviewer or assignee? PR Focus to the rescue!