From cb2ee2d949899a897022894b750afd1f3d2eb478 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 5 Nov 2018 19:37:11 +0100
Subject: Integrate plugin tutorial after code import

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index b0e79fb1b2..2a641263e3 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -71,6 +71,8 @@ azure-pipelines.yml @coq/ci-maintainers
 /man/             @silene
 # Secondary maintainer @maximedenes
 
+/doc/plugin_tutorial/ @ybertot
+
 ########## Coqchk ##########
 
 /checker/               @ppedrot
-- 
cgit v1.2.3