From 31d0ba99849b96914379aaf4f79a81c0142bc211 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 6 Nov 2018 16:07:36 +0100
Subject: All dune files are owned by dune code owners.

---
 .github/CODEOWNERS | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 512a9c99eb..13e6029255 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -274,16 +274,6 @@
 
 /theories/Vectors/        @herbelin
 
-########## Dune  ##########
-
-/.ocamlinit            @ejgallego
-/Makefile.dune         @ejgallego
-/tools/coq_dune*       @ejgallego
-/dune*                 @ejgallego
-/coq.opam              @ejgallego
-/ide/coqide.opam       @ejgallego
-# Secondary maintainer @Zimmi48
-
 ########## Tools ##########
 
 /tools/coqdoc/         @silene
@@ -358,3 +348,10 @@
 /dev/tools/update-compat.py @JasonGross
 /test-suite/tools/update-compat/ @JasonGross
 # Secondary maintainer @Zimmi48
+
+########## Dune  ##########
+
+/.ocamlinit            @ejgallego
+*dune*                 @ejgallego
+*.opam                 @ejgallego
+# Secondary maintainer @Zimmi48
-- 
cgit v1.2.3


From 29adf6d7d040a1721e63e1ad02bb1c3e8847ff8c Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 6 Nov 2018 16:14:21 +0100
Subject: It seems that Hugo is also willing to assume a maintainer role on
 CoqIDE.

---
 .github/CODEOWNERS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 13e6029255..802c1da221 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -105,7 +105,7 @@
 
 /ide/             @ppedrot
 /test-suite/ide/  @ppedrot
-# Secondary maintainer @gares
+# Secondary maintainers @gares @herbelin
 
 ########## Interpretation ##########
 
-- 
cgit v1.2.3


From cca54c53b4324e0b4630ba9da2d48a117252cece Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 22 Nov 2018 13:56:24 +0100
Subject: New code owner team ssreflect-maintainers.

---
 .github/CODEOWNERS | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 802c1da221..511c2b47d8 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -166,12 +166,9 @@
 /plugins/setoid_ring/   @amahboubi
 # Secondary maintainer @bgregoir
 
-/plugins/ssrmatching/   @gares
-# Secondary maintainer @maximedenes
-
-/plugins/ssr/          @gares
-/test-suite/ssr/       @gares
-# Secondary maintainer @maximedenes
+/plugins/ssrmatching/  @coq/ssreflect-maintainers
+/plugins/ssr/          @coq/ssreflect-maintainers
+/test-suite/ssr/       @coq/ssreflect-maintainers
 
 /plugins/syntax/        @ppedrot
 # Secondary maintainer @maximedenes
-- 
cgit v1.2.3


From 1c38b7d65ec302ec2dff94df4b13db33c4d3393e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 22 Nov 2018 14:03:02 +0100
Subject: New code owner team parsing-maintainers.

---
 .github/CODEOWNERS | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 511c2b47d8..98fe2546b5 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -96,11 +96,6 @@
 /engine/uState.* @SkySkimmer
 # Secondary maintainer @mattam82
 
-########## Grammar macros ##########
-
-/grammar/         @ppedrot
-# Secondary maintainer @maximedenes
-
 ########## CoqIDE ##########
 
 /ide/             @ppedrot
@@ -132,8 +127,9 @@
 
 ########## Parser ##########
 
-/parsing/         @herbelin
-# Secondary maintainer @mattam82
+/coqpp/           @coq/parsing-maintainers
+/gramlib/         @coq/parsing-maintainers
+/parsing/         @coq/parsing-maintainers
 
 ########## Plugins ##########
 
@@ -170,8 +166,7 @@
 /plugins/ssr/          @coq/ssreflect-maintainers
 /test-suite/ssr/       @coq/ssreflect-maintainers
 
-/plugins/syntax/        @ppedrot
-# Secondary maintainer @maximedenes
+/plugins/syntax/       @coq/parsing-maintainers
 
 /plugins/rtauto/       @PierreCorbineau
 # Secondary maintainer @herbelin
@@ -307,6 +302,8 @@
 /vernac/          @mattam82
 # Secondary maintainer @maximedenes
 
+/vernac/metasyntax.*   @coq/parsing-maintainers
+
 ########## Test suite ##########
 
 /test-suite/Makefile    @gares
-- 
cgit v1.2.3