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(-)

(limited to '.github')

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