diff options
| author | Théo Zimmermann | 2018-11-22 14:03:02 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-22 14:03:02 +0100 |
| commit | 1c38b7d65ec302ec2dff94df4b13db33c4d3393e (patch) | |
| tree | fbd789130c80e1ae746f7cd83f2a2c307c4ad730 /.github | |
| parent | cca54c53b4324e0b4630ba9da2d48a117252cece (diff) | |
New code owner team parsing-maintainers.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 15 |
1 files 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 |