1 files changed, 27 insertions, 45 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 9e87d2ca7..192a2b181 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -53,6 +53,9 @@
 /doc/             @maximedenes
 # Secondary maintainer @silene @Zimmi48
 
+/doc/tools/coqrst/ @maximedenes
+# Secondary maintainer @cpitclaudel
+
 /man/             @silene
 # Secondary maintainer @maximedenes
 
@@ -134,8 +137,7 @@
 /plugins/derive/        @aspiwack
 # Secondary maintainer @ppedrot
 
-/plugins/extraction/    @letouzey
-# Secondary maintainer @maximedenes
+/plugins/extraction/    @maximedenes
 
 /plugins/firstorder/   @PierreCorbineau
 # Secondary maintainer @herbelin
@@ -156,10 +158,6 @@
 /plugins/nsatz/         @thery
 # Secondary maintainer @ppedrot
 
-/plugins/omega/         @letouzey
-
-/plugins/romega/        @letouzey
-
 /plugins/setoid_ring/   @amahboubi
 # Secondary maintainer @bgregoir
 
@@ -183,6 +181,10 @@
 /pretyping/       @mattam82
 # Secondary maintainer @gares
 
+/pretyping/vnorm.*     @maximedenes
+/pretyping/nativenorm.* @maximedenes
+# Secondary maintainer @ppedrot
+
 ########## Pretty printer ##########
 
 /printing/        @herbelin
@@ -212,44 +214,34 @@
 
 ########## Standard library ##########
 
-/theories/Arith/          @letouzey
-# Secondary maintainer @herbelin
+/theories/Arith/          @herbelin
 
-/theories/Bool/           @letouzey
-# Secondary maintainer @herbelin
+/theories/Bool/           @herbelin
 
 /theories/Classes/        @mattam82
 # Secondary maintainer @herbelin
 
-/theories/FSets/          @letouzey
-# Secondary maintainer @herbelin
+/theories/FSets/          @herbelin
 
-/theories/Init/           @letouzey
-# Secondary maintainer @ppedrot
+/theories/Init/           @ppedrot
 
-/theories/Lists/          @letouzey
-# Secondary maintainer @ppedrot
+/theories/Lists/          @ppedrot
 
 /theories/Logic/          @herbelin
 # Secondary maintainer @ppedrot
 
-/theories/MSets/          @letouzey
-# Secondary maintainer @herbelin
+/theories/MSets/          @herbelin
 
-/theories/NArith/         @letouzey
-# Secondary maintainer @herbelin
+/theories/NArith/         @herbelin
 
-/theories/Numbers/        @letouzey
-# Secondary maintainer @herbelin
+/theories/Numbers/        @herbelin
 
-/theories/PArith/         @letouzey
-# Secondary maintainer @herbelin
+/theories/PArith/         @herbelin
 
 /theories/Program/        @mattam82
 # Secondary maintainer @herbelin
 
-/theories/QArith/         @letouzey
-# Secondary maintainer @herbelin
+/theories/QArith/         @herbelin
 
 /theories/Reals/          @silene
 # Secondary maintainer @ppedrot
@@ -260,26 +252,19 @@
 /theories/Setoids/        @mattam82
 # Secondary maintainer @ppedrot
 
-/theories/Sets/           @letouzey
-# Secondary maintainer @herbelin
+/theories/Sets/           @herbelin
 
-/theories/Sorting/        @letouzey
-# Secondary maintainer @herbelin
+/theories/Sorting/        @herbelin
 
-/theories/Strings/        @letouzey
-# Secondary maintainer @herbelin
+/theories/Strings/        @herbelin
 
-/theories/Structures/     @letouzey
-# Secondary maintainer @herbelin
+/theories/Structures/     @herbelin
 
-/theories/Unicode/        @letouzey
-# Secondary maintainer @herbelin
+/theories/Unicode/        @herbelin
 
-/theories/Wellfounded/    @letouzey
-# Secondary maintainer @mattam82
+/theories/Wellfounded/    @mattam82
 
-/theories/ZArith/         @letouzey
-# Secondary maintainer @herbelin
+/theories/ZArith/         @herbelin
 
 /theories/Compat/         @JasonGross
 # Secondary maintainer @Zimmi48
@@ -324,14 +309,11 @@
 
 ########## Build system ##########
 
-/Makefile*        @letouzey
-# Secondary maintainer @gares
+/Makefile*        @gares
 
-/configure*       @letouzey
-# Secondary maintainer @ejgallego
+/configure*       @ejgallego
 
 /META.coq         @ejgallego
-# Secondary maintainer @letouzey
 
 /dev/build/windows @MSoegtropIMC
 # Secondary maintainer @maximedenes