GitHub's pull request list as a review dashboard, with a batch merge
In brief
Turns GitHub's pull request list into a review dashboard: every open request's size, checks and review state on one screen, and the approved ones merged in one batch.
One row per pull request with what GitHub's own list leaves out: the size of the diff, how much discussion it has, whether CI is green and where the review stands. Tick the approved ones and merge them in one pass. Sign-in is GitHub's device flow, so nobody pastes a token, and everything a row shows comes from one GraphQL search per page.
What it does
- Tabs for yours, review requested, involved and bot pull requests, quick filters for failing, green, conflicting and ready to merge
- A batch merge that lists every target first, runs one at a time, and pins each to the commit its row showed
- A repository view of which projects are broken and what is piling up in them
A closer look
Select any screenshot to enlarge it.
Eight open pull requests on one screen, each with its diff size, comments, checks and review state
Four approved pull requests ticked, and the confirmation that lists them before merging
The whitepaper behind it
The problem it measures, the method behind it, and what it deliberately does not do.