From 0149f2c5930a24ef96861af0d863d7c86341a8db Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 2 May 2018 13:55:01 +0200
Subject: Make doc owners also own Makefile.doc

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 329697ca4b..048c9b2411 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -306,6 +306,9 @@
 Makefile.ci       @ejgallego
 # Secondary maintainer @SkySkimmer
 
+/Makefile.doc        @maximedenes
+# Secondary maintainer @silene
+
 ########## Developer tools ##########
 
 /dev/tools/backport-pr.sh     @Zimmi48
-- 
cgit v1.2.3


From 6cbd1b0cbb5693e2188463a293054ce1169c7cbe Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 2 May 2018 13:55:35 +0200
Subject: Fix Makefile.ci pattern in CODEOWNERS

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 048c9b2411..74bbda5533 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -303,7 +303,7 @@
 # Secondary maintainer @maximedenes
 
 # This file belongs to CI
-Makefile.ci       @ejgallego
+/Makefile.ci       @ejgallego
 # Secondary maintainer @SkySkimmer
 
 /Makefile.doc        @maximedenes
-- 
cgit v1.2.3