diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:44:47 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:44:47 +0200 |
commit | d3f8467c63ae94c28c3939408c4c56446760dd65 (patch) | |
tree | 687a8a15561ee75e22c78c5329abb3206c9c9b73 /.github | |
parent | 612ca9e742c3196ea5faad100bb95d9e08ebe07e (diff) | |
parent | 74179769b290d68fd64003095cd18ecb64bc1308 (diff) |
Merge PR #7371: Propose some updates of the CODEOWNER file.
Diffstat (limited to '.github')
-rw-r--r-- | .github/CODEOWNERS | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 74bbda553..afa95420c 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -71,6 +71,11 @@ /engine/ @ppedrot # Secondary maintainer @aspiwack +/engine/universes.ml{,i} @SkySkimmer +/engine/univops.ml{,i} @SkySkimmer +/engine/uState.ml{,i} @SkySkimmer +# Secondary maintainer @mattam82 + ########## Grammar macros ########## /grammar/ @ppedrot @@ -94,6 +99,11 @@ /kernel/byterun/ @maximedenes # Secondary maintainer @silene +/kernel/sorts.ml{,i} @SkySkimmer +/kernel/uGraph.ml{,i} @SkySkimmer +/kernel/univ.ml{,i} @SkySkimmer +# Secondary maintainer @mattam82 + ########## Library ########## /library/ @silene @@ -291,7 +301,7 @@ ########## Build system ########## /Makefile* @letouzey -# Secondary maintainer @maximdenes +# Secondary maintainer @gares /configure* @letouzey # Secondary maintainer @ejgallego |