diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-05-02 13:55:01 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-02 13:55:01 +0200 |
| commit | 0149f2c5930a24ef96861af0d863d7c86341a8db (patch) | |
| tree | a1a93852ebc826828c00f47bac482b9c81ce0bf9 /.github | |
| parent | 6062f9f6a3770f967b6d540756063a3992131a6c (diff) | |
Make doc owners also own Makefile.doc
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
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 |