From 574dc0f4a371e5161806e825eb69d81fedcc4b53 Mon Sep 17 00:00:00 2001 From: Michael Rothgang Date: Fri, 29 May 2026 13:04:19 +0200 Subject: [PATCH 1/2] chore: disambiguate maintainers as mathlib maintainers This is already what the short description does: make it very clear. --- data/teams.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/teams.yaml b/data/teams.yaml index 90171c8b1..6b5b560f4 100644 --- a/data/teams.yaml +++ b/data/teams.yaml @@ -18,7 +18,7 @@ - Sebastian Ullrich - Eric Wieser use_biography: True -- name: Maintainer team +- name: Mathlib maintainer team short_description: The mathlib maintainers have the power to approve changes and additions to mathlib. This team is responsible for the global design of mathlib, and it aims to maintain the library's coherence and keep its parts well integrated. description: | The mathlib library is under active development, with hundreds of proposed changes and additions under discussion at any time, and dozens approved every week. These proposals are structured as ["pull requests" on the mathlib Github repository](https://github.com/leanprover-community/mathlib4/pulls). The mathlib maintainers are the people who have the power to give final approval to pull requests. They must ensure mathlib has a cohesive design with a high-quality implementation. From 8d6a92a477e8ab4ed454efaf35050ea49c807f8a Mon Sep 17 00:00:00 2001 From: Michael Rothgang Date: Fri, 29 May 2026 17:54:27 +0200 Subject: [PATCH 2/2] Apply suggestion from @grunweg --- data/teams.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/teams.yaml b/data/teams.yaml index 6b5b560f4..69e81fd05 100644 --- a/data/teams.yaml +++ b/data/teams.yaml @@ -18,7 +18,7 @@ - Sebastian Ullrich - Eric Wieser use_biography: True -- name: Mathlib maintainer team +- name: Mathlib maintainers short_description: The mathlib maintainers have the power to approve changes and additions to mathlib. This team is responsible for the global design of mathlib, and it aims to maintain the library's coherence and keep its parts well integrated. description: | The mathlib library is under active development, with hundreds of proposed changes and additions under discussion at any time, and dozens approved every week. These proposals are structured as ["pull requests" on the mathlib Github repository](https://github.com/leanprover-community/mathlib4/pulls). The mathlib maintainers are the people who have the power to give final approval to pull requests. They must ensure mathlib has a cohesive design with a high-quality implementation.