1 files changed, 1 insertions, 6 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 384e46723a..5be434c8b7 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -9,7 +9,6 @@
 ########## CI infrastructure ##########
 
 /dev/ci/          @coq/ci-maintainers
-/.circleci/       @coq/ci-maintainers
 /.travis.yml      @coq/ci-maintainers
 /.gitlab-ci.yml   @coq/ci-maintainers
 
@@ -43,11 +42,7 @@
 # Trick to avoid getting review requests
 # each time someone modifies the dev changelog
 
-/doc/             @maximedenes
-# Secondary maintainer @silene @Zimmi48
-
-/doc/tools/coqrst/ @maximedenes
-# Secondary maintainer @cpitclaudel
+/doc/             @coq/doc-maintainers
 
 /man/             @silene
 # Secondary maintainer @maximedenes