From ce8c8981e04a2955ae7ada9a00be84a16fc8dd67 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 20 Jan 2020 11:00:52 +0100
Subject: Dispatch code ownership of files in dev/doc.

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index a7c0846e35..63d6ccc240 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -1,14 +1,11 @@
-# This file describes the maintainers for the main components. See
-# `dev/doc/MERGING.md`.
+# This file associates maintainer teams to each component.
+# See CONTRIBUTING.md
 
 ########## Contributing process ##########
 
 /.github/                   @coq/contributing-process-maintainers
 
 /CONTRIBUTING.md            @coq/contributing-process-maintainers
-/dev/doc/shield-icon.png    @coq/contributing-process-maintainers
-
-/dev/doc/release-process.md @coq/contributing-process-maintainers
 
 ########## Build system ##########
 
@@ -53,6 +50,19 @@
 # Trick to avoid getting review requests
 # each time someone modifies the changelog
 
+/dev/doc/build-system*.txt    @coq/legacy-build-maintainers
+/dev/doc/build-system.dune.md @coq/build-maintainers
+/dev/doc/critical-bugs        @coq/kernel-maintainers
+/dev/doc/econstr.md           @coq/engine-maintainers
+/dev/doc/proof-engine.md      @coq/engine-maintainers
+/dev/doc/release-process.md   @coq/contributing-process-maintainers
+/dev/doc/shield-icon.png      @coq/contributing-process-maintainers
+/dev/doc/SProp.md             @coq/universes-maintainers
+/dev/doc/style.txt            @coq/contributing-process-maintainers
+/dev/doc/unification.txt      @coq/pretyper-maintainers
+/dev/doc/universes.md         @coq/universes-maintainers
+/dev/doc/xml-protocol         @coq/stm-maintainers
+
 /man/                  @coq/doc-maintainers
 
 /doc/plugin_tutorial/  @coq/plugin-tutorial-maintainers
-- 
cgit v1.2.3