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?

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.

For the old main page with all tables at one glance, look here.

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: November 23, 2024 at 20:42 UTC