[coq] [github] Update codeowners for Coq code.

Let me know if you wanna add your name to the list. Signed-off-by: Emilio Jesus Gallego Arias <e+git@x80.org>
ocaml · Mar 29, 2019 · 9f2e6c1 · 9f2e6c1
1 parent ad0afa3
commit 9f2e6c1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -33,4 +33,6 @@ src/js_of_ocaml* @hhugo
 
 editor_integration/emacs/* @Chris00
 
-doc/* @emillon @rgrinberg
+doc/* @emillon @rgrinberg
+
+src/coq_* @ejgallego