From 2fc745314f0d2115970fa2d79c4d745b2d27abe4 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Wed, 20 Jun 2018 09:31:49 +0200
Subject: Make Clément the secondary codeowner of doc/tools/coqrst.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 9e87d2ca7..3a762b42a 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -53,6 +53,9 @@
 /doc/             @maximedenes
 # Secondary maintainer @silene @Zimmi48
 
+/doc/tools/coqrst/ @maximedenes
+# Secondary maintainer @cpitclaudel
+
 /man/             @silene
 # Secondary maintainer @maximedenes
 
-- 
cgit v1.2.3