From d02b4f9ae91428159f10d111587854a1304033c9 Mon Sep 17 00:00:00 2001 From: Fabrizio Montesi Date: Fri, 29 May 2026 15:05:11 +0200 Subject: [PATCH 1/3] Add @SamuelSchlesinger to reviewers --- GOVERNANCE.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/GOVERNANCE.md b/GOVERNANCE.md index 50bc561af..200340c6e 100644 --- a/GOVERNANCE.md +++ b/GOVERNANCE.md @@ -46,5 +46,6 @@ 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). +- Samuel Schlesinger (@SamuelSchlesinger). +- Thomas Waring (@thomaskwaring). - Eric Wieser (@eric-wieser), Google DeepMind. From d4bc59311e75f58f08bd0a6527d0f8d4b19c83e0 Mon Sep 17 00:00:00 2001 From: Fabrizio Montesi Date: Mon, 1 Jun 2026 14:50:58 +0200 Subject: [PATCH 2/3] New area maintainers for algos and logic --- .github/CODEOWNERS | 3 +++ GOVERNANCE.md | 2 ++ 2 files changed, 5 insertions(+) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index fefafe3e5..5f565a3a1 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -12,6 +12,9 @@ ### Area access # Each area maintainer has access to parts that pertain them. They get automatically asked for # reviewing new PRs that touch those areas. +/Cslib/Algorithms/ @sorrachai +/Cslib/Foundations/Logic/ @arademaker @fmontesi +/Cslib/Logics/ @arademaker @fmontesi /Cslib/Languages/LambdaCalculus/ @chenson2018 /.github/workflows @kim-em @fmontesi @chenson2018 /scripts @kim-em @fmontesi @chenson2018 diff --git a/GOVERNANCE.md b/GOVERNANCE.md index 200340c6e..39cf7b428 100644 --- a/GOVERNANCE.md +++ b/GOVERNANCE.md @@ -40,6 +40,8 @@ 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). +- Alexandre Rademaker (@arademaker), Atlas Computing and Getulio Vargas Foundation. Areas: logic. +- Sorrachai Yingchareonthawornchai (@sorrachai), ETH Zurich. Areas: algorithms and data structures. ### Reviewers From f02456fedaf627a7aad3208dbac6985fc10cd36c Mon Sep 17 00:00:00 2001 From: Alexandre Rademaker Date: Tue, 2 Jun 2026 12:16:49 -0700 Subject: [PATCH 3/3] small updates --- GOVERNANCE.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/GOVERNANCE.md b/GOVERNANCE.md index 39cf7b428..8ffbf3d3c 100644 --- a/GOVERNANCE.md +++ b/GOVERNANCE.md @@ -23,7 +23,7 @@ The maintainer team is responsible for the quality of the codebase, establishing ### Lead maintainer -The lead maintainer coordinates the overall work of the maintainer team and oversees the project's repositories. +The lead maintainer coordinates the maintainer team's overall work and oversees the project's repositories. - Fabrizio Montesi (@fmontesi), FORM, University of Southern Denmark and Danish Institute for Advanced Study. @@ -31,7 +31,7 @@ The lead maintainer coordinates the overall work of the maintainer team and over Technical leads guide long-term developments that may span multiple areas of the codebase, offering specialised expertise. -- Alexandre Rademaker (@arademaker), Atlas Computing and Getulio Vargas Foundation. +- Alexandre Rademaker (@arademaker), Renaissance Philanthropy and Getulio Vargas Foundation. - Sorrachai Yingchareonthawornchai (@sorrachai), ETH Zurich. ### Area maintainers