1 files changed, 1 insertions, 5 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index bbd2d349c1..20d49e675f 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
 
@@ -135,9 +134,6 @@
 /plugins/firstorder/   @PierreCorbineau
 # Secondary maintainer @herbelin
 
-/plugins/fourier/       @herbelin
-# Secondary maintainer @gares
-
 /plugins/funind/        @forestjulien
 # Secondary maintainer @Matafou
 
@@ -306,7 +302,7 @@
 
 /configure*       @ejgallego
 
-/META.coq         @ejgallego
+/META.coq.in      @ejgallego
 
 /dev/build/windows @MSoegtropIMC
 # Secondary maintainer @maximedenes