From ab95c434e00794e79948397e50c5a538ff0f321d Mon Sep 17 00:00:00 2001 From: Chris Henson Date: Wed, 27 Aug 2025 10:39:27 -0400 Subject: [PATCH] update CODEOWNERS --- .github/CODEOWNERS | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 3b5151da..d164c7c3 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -2,6 +2,6 @@ /docs @fmontesi @chenson2018 /CslibTests @fmontesi @chenson2018 -/Cslib/Computability/LambdaCalculus/ @chenson2018 -/Cslib/ConcurrencyTheory/ @fmontesi -/Cslib/Logic/ @fmontesi @m-ow +/Cslib/Languages/LambdaCalculus/ @chenson2018 +/Cslib/Languages/CCS/ @fmontesi +/Cslib/Logics/ @fmontesi @m-ow