From 9aad49b0655404055c4f0aa96d203a5e6cdcf07e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 11 Jan 2019 13:59:55 +0100
Subject: Move plugin tutorial to team ownership

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 2a641263e3..54d9ccaf19 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -71,7 +71,7 @@ azure-pipelines.yml @coq/ci-maintainers
 /man/             @silene
 # Secondary maintainer @maximedenes
 
-/doc/plugin_tutorial/ @ybertot
+/doc/plugin_tutorial/ @coq/plugin-tutorial-maintainers
 
 ########## Coqchk ##########
 
-- 
cgit v1.2.3