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. The code on this page is a prototype. The internals or layout may still change quite a bit! That said:
- the overall functionality of this page is useful, so is probably not going away
- several people have reported finding this useful; feel free to try it out!
There are still some rough edges: feedback on them, as well as on useful improvements, is very welcome! You may file an issue, propose a pull request (from a fork, as usual) or approach us on zulip.
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 is working on displaying better "last updated" 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.
Contributing. Contributions are welcome. If you have questions, feel free to get in touch! Please refer to the architecture overview for an overall impression of the code base, and the overall documentation for some details.