Area statistics

Orange shaded rows are at maximum capacity -- the assignment algorithm cannot find a reviewer to assign to a new PR in this area.

Hide areas with no PRs on the queue

Area	Number of reviewers	Number of reviewers on rotation	PRs on the queue	PRs assigned to a reviewer	PRs not assigned to a reviewer	Ratio of PRs on the queue to PRs assigned to a reviewer	Average days on the queue	Average days on the queue for assigned PRs

This page collects anonymous visit counts for usage reporting (no cookies, no IP addresses stored). See the Mathlib Initiative privacy policy.