This repository defines a dashboard for reviewing and triaging pull requests to the mathlib repository. mathlib receives a steady (and growing) stream of incoming pull requests. This is great, but keeping track of them all is not an easy task. mathlib's maintainers (and reviewers) observe growing pains trying to manage this using github's built-in functionality. Better tools are needed: this is one of them.
Status. This project is around for a few months now, has been shown to be useful and will most likely stay. Feel free to try it out! Feedback on any issues you find, or changes that would help you, is very welcome.
Contributing. Contributions are welcome. If you have questions, feel free to get in touch! Filing an issue, creating a pull request (from a fork) and providing feedback are all valuable. There is a list of PRs with mentoring instructions. The architecture overview contains for an overall impression of the code base, and the overall documentation contains some particular details.
Contact. The initial design, architecture and infrastructure of this dashboard were created by Johan Commelin (@jcommelin). Michael Rothgang (@grunweg) contributed improvements to the design, added more dashboards and added the analysis of the "last status change" and "total time in review" information.
If you have questions or feedback, feel free to contact us on the leanprover zulip chat, such as in the private reviewers stream or in the public #mathlib4 channel.