Mathlib review and triage dashboard
Welcome to the mathlib review and triage webpage! There are many ways to help, what are you looking for in particular?
What do these buttons mean? Which page should I visit?
- If you just want to see all open PRs, there is a dashboard just for you.
- Would you like to review some pull request? The review dashboard contains all PRs waiting for review. There are special sections for PRs by new contributors, labelled easy or addressing technical debt.
- Would you like to find out why your PR is (not) on the review queue? Are you interested in an overview of all your PRs with their status? This webpage contains all information necessary.
- There is a webpage for maintainers with little time: this contains e.g. all PRs which are just awaiting maintainer approval.
If you actually have some more time at your hands, the page for reviewers or the triage dashboard should be useful.
- Would you just like to help out? This page collects PRs where help was requested, or where some quick action can be useful.
- Are you coming here for PR triage: looking for PRs stuck in some state, and would like to move them along? The triage dashboard has the ultimate collection of all public information.
Feedback (including bug reports and ideas for improvements) on this dashboard is very welcome, for instance directly on the github repository.
This dashboard was last updated on: April 09, 2025 at 10:14 UTC
These webpages have a couple of hidden features. Click here to learn more.
- semantic sorting: clicking on a table column sorts by the column. This sorting is semantically correct: PR diffs are sorted by the total number of added or deleted lines, sorting by total time in review converts between months, days, hours and seconds
- hovers: many items contain further information when you hover over it.
Hover over a section header to see which PRs are contained in it, hover over a column definition to see what it measures, hover over a PR number to see its git branch name, hover over a time column to see the detailed time, etc.
- author search: search for
author:name to find all PRs by a particular author
- assignee search: search for
assignee:name to find all PRs assigned to this user
- exact label matching: a few label names are prefixes of other labels, e.g.
t-algebra is a prefix of t-algebraic geometry, so searching for t-algebra will also find t-algebraic geometry PRs.
There is special support for this combining: searching for t-algebra$ will match only PRs with label t-algebra.
- find PRs by modified file: search for a file name and find all PRs in a list which modify this file. Searching for several files finds all PRs which modify all these files. (Caveat: we only track the first 100 files each PR changes, so this may yield incomplete results for cross-cutting PRs. Such PRs are rare, however.)
- find your PRs: searching for your user name returns all PRs you reviewed or commented on
- search PR description: searching also searches a PR description, and the list of all users who ever commented on this PR. To find all PRs from the sphere-eversion project, searching for "sphere eversion" (or "sphere eversion") should do the trick.
- configuration via URL: you can configure the initial sorting, search terms and number of entries per page by changing the URL you're visiting. Three short examples:
Reference-level explanation of search syntax
The search parameter filters all tables on a page by default.
The sort parameter changes the initial sorting of all dashboards; if the parameter is given several times, this configures a multi-column sort (sorting by the first parameter first). A valid value is of the form idxOrAlias-direction, where direction is either asc or desc (for ascending or descending order), and idxOrAlias describes the column to sort.
All columns have human-readable names: these are number, author, title, labels, diff, numberChangedFiles, numberComments, assignee, approvals, lastUpdate, lastStatusChange and totalTimeReview, respectively &emdash; mapping to the obvious column.
Alternatively (deprecated), you can pass in the (0-based) index of the column you want to sort. (You have to account for hidden columns, and there are no stability guarantees. This option is only kept for backwards compatibility.)
- filtering: click on a label or PR author to filter by this author
- exact match when searching: searching for
foo bar will match all PRs whose entry contains the string foo and the string bar (but at potentially different places). Searching for "foo bar" only yields literal occurrences of the string foo bar
- multi-column sorting: use shift-click to sort by a second (or third, etc.) column