From 60373b533a480f5aaa591953177adf0f2b20c316 Mon Sep 17 00:00:00 2001 From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 2 Feb 2026 08:50:48 +0000 Subject: [PATCH 1/5] Create MaintainerTeam.md --- docs/MaintainerTeam.md | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 docs/MaintainerTeam.md diff --git a/docs/MaintainerTeam.md b/docs/MaintainerTeam.md new file mode 100644 index 000000000..3dcfb5676 --- /dev/null +++ b/docs/MaintainerTeam.md @@ -0,0 +1,26 @@ +# The Maintainer Team + +The default policies around the maintainer team are those of Mathlib, and where conflict +or diagreement arises these are the fall-back. + +## Role + +The role of the maintainer team is to: + +1. Give finial reviews of pull-requests. +2. Help structure and guide the project. +3. Help foster a pleasant and active community around the project. + +## Becoming a Maintainer + +Maintainers have research-level knowledge of physics or mathematics, and have +experience with either the PhysLean or Mathlib review process. + +To become a maintainer, you either need an inviation for current maintainers, or +need to nominate yourself to a current maitnainer. + +## Term of a maintainer + +A maintainer will serve for a period for one-year, which will renew unless they are +inactive for a period of 6 months before renewal or wish to step down (which they can +do at any point). From 239a53dc5084bf12d2af4c710a18d52fed31539d Mon Sep 17 00:00:00 2001 From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 2 Feb 2026 08:52:13 +0000 Subject: [PATCH 2/5] Update MaintainerTeam.md --- docs/MaintainerTeam.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/MaintainerTeam.md b/docs/MaintainerTeam.md index 3dcfb5676..d6c936146 100644 --- a/docs/MaintainerTeam.md +++ b/docs/MaintainerTeam.md @@ -11,7 +11,7 @@ The role of the maintainer team is to: 2. Help structure and guide the project. 3. Help foster a pleasant and active community around the project. -## Becoming a Maintainer +## Becoming a maintainer Maintainers have research-level knowledge of physics or mathematics, and have experience with either the PhysLean or Mathlib review process. From 175894fea0b50b4a27ab7e10c5e39cdf3748ec92 Mon Sep 17 00:00:00 2001 From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 2 Feb 2026 08:58:46 +0000 Subject: [PATCH 3/5] Update MaintainerTeam.md --- docs/MaintainerTeam.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/MaintainerTeam.md b/docs/MaintainerTeam.md index d6c936146..32a561717 100644 --- a/docs/MaintainerTeam.md +++ b/docs/MaintainerTeam.md @@ -7,7 +7,7 @@ or diagreement arises these are the fall-back. The role of the maintainer team is to: -1. Give finial reviews of pull-requests. +1. Give final reviews of pull-requests. 2. Help structure and guide the project. 3. Help foster a pleasant and active community around the project. @@ -16,7 +16,7 @@ The role of the maintainer team is to: Maintainers have research-level knowledge of physics or mathematics, and have experience with either the PhysLean or Mathlib review process. -To become a maintainer, you either need an inviation for current maintainers, or +To become a maintainer, you either need an invitation for current maintainers, or need to nominate yourself to a current maitnainer. ## Term of a maintainer From dfba1a4b52c0527965a31d08654583122797a3e1 Mon Sep 17 00:00:00 2001 From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 2 Feb 2026 09:28:06 +0000 Subject: [PATCH 4/5] Update MaintainerTeam.md --- docs/MaintainerTeam.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/MaintainerTeam.md b/docs/MaintainerTeam.md index 32a561717..29f65f149 100644 --- a/docs/MaintainerTeam.md +++ b/docs/MaintainerTeam.md @@ -17,7 +17,7 @@ Maintainers have research-level knowledge of physics or mathematics, and have experience with either the PhysLean or Mathlib review process. To become a maintainer, you either need an invitation for current maintainers, or -need to nominate yourself to a current maitnainer. +need to nominate yourself to a current maintainer. ## Term of a maintainer From 39a76d0d7f2bd6a5d5622a866d933f73411182fc Mon Sep 17 00:00:00 2001 From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 2 Feb 2026 13:06:26 +0000 Subject: [PATCH 5/5] Update MaintainerTeam.md --- docs/MaintainerTeam.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/MaintainerTeam.md b/docs/MaintainerTeam.md index 29f65f149..2a35d7e20 100644 --- a/docs/MaintainerTeam.md +++ b/docs/MaintainerTeam.md @@ -1,7 +1,7 @@ # The Maintainer Team The default policies around the maintainer team are those of Mathlib, and where conflict -or diagreement arises these are the fall-back. +or disagreement arises these are the fall-back. ## Role @@ -16,7 +16,7 @@ The role of the maintainer team is to: Maintainers have research-level knowledge of physics or mathematics, and have experience with either the PhysLean or Mathlib review process. -To become a maintainer, you either need an invitation for current maintainers, or +To become a maintainer, you either need an invitation from current maintainers, or need to nominate yourself to a current maintainer. ## Term of a maintainer