From 5a8bd2034935061fda4dd6fa5627547e261ebee4 Mon Sep 17 00:00:00 2001 From: Fabrizio Montesi Date: Sun, 19 Apr 2026 17:23:33 +0200 Subject: [PATCH 1/3] Add reviewer team --- GOVERNANCE.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/GOVERNANCE.md b/GOVERNANCE.md index a196c1d73..2e94efb17 100644 --- a/GOVERNANCE.md +++ b/GOVERNANCE.md @@ -25,7 +25,7 @@ The maintainer team is responsible for the quality of the codebase, establishing The lead maintainer coordinates the overall work of the maintainer team and oversees the project's repositories. -- Fabrizio Montesi (@fmontesi), University of Southern Denmark and Danish Institute for Advanced Study. +- Fabrizio Montesi (@fmontesi), FORM, University of Southern Denmark and Danish Institute for Advanced Study. ### Technical leads @@ -40,3 +40,10 @@ Area maintainers are trusted contributors who take ownership of specific areas o - Chris Henson (@chenson2018), Drexel University. Areas: Lambda calculus, metaprogramming. - Kim Morrison (@kim-em), Lean FRO. Areas: Continuous Integration and Deployment (CI/CD) with upstream (Lean, mathlib). + +### Reviewers + +Reviewers are trusted contributors who help maintainers with the regular reviewing of PRs to CSLib. + +- Ching-Tsun Chou (@ctchou). +- Eric Wieser (@eric-wieser), Google DeepMind. From 194b4b18fe37633d27b888aa566e84187392fd79 Mon Sep 17 00:00:00 2001 From: Fabrizio Montesi Date: Sun, 19 Apr 2026 17:31:20 +0200 Subject: [PATCH 2/3] Reviewer team description --- GOVERNANCE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GOVERNANCE.md b/GOVERNANCE.md index 2e94efb17..8a4d6ba98 100644 --- a/GOVERNANCE.md +++ b/GOVERNANCE.md @@ -43,7 +43,7 @@ Area maintainers are trusted contributors who take ownership of specific areas o ### Reviewers -Reviewers are trusted contributors who help maintainers with the regular reviewing of PRs to CSLib. +Reviewers are trusted contributors who provide regular reviewing and technical guidance to PRs to CSLib. - Ching-Tsun Chou (@ctchou). - Eric Wieser (@eric-wieser), Google DeepMind. From c8e7ccf9d3e53e61c7e197d493bb6d57fd5c764a Mon Sep 17 00:00:00 2001 From: Fabrizio Montesi Date: Mon, 20 Apr 2026 16:15:47 +0200 Subject: [PATCH 3/3] Add reviewer --- GOVERNANCE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/GOVERNANCE.md b/GOVERNANCE.md index 8a4d6ba98..50bc561af 100644 --- a/GOVERNANCE.md +++ b/GOVERNANCE.md @@ -46,4 +46,5 @@ Area maintainers are trusted contributors who take ownership of specific areas o Reviewers are trusted contributors who provide regular reviewing and technical guidance to PRs to CSLib. - Ching-Tsun Chou (@ctchou). +- Thomas Waring (@thomaskwaring). - Eric Wieser (@eric-wieser), Google DeepMind.