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(+) (limited to '.github') diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 329697ca4..048c9b241 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