diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-23 19:30:49 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-23 19:30:49 +0100 |
| commit | e128900aee63c972d7977fd47e3fd21649b63409 (patch) | |
| tree | b18e82b7c3b799bf01787179fdbf998888317ac2 /.github | |
| parent | 546a472b298ed00d0fea6de3145141f76ecb576c (diff) | |
| parent | d60f004715273534d7b876612d3e6a727f48944b (diff) | |
Merge PR #7046: Switch maintainers for documentation
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index fb4d07333..fea50c58c 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -37,8 +37,8 @@ /dev/doc/ @Zimmi48 # Secondary maintainer @maximedenes -/doc/ @silene -# Secondary maintainer @maximedenes +/doc/ @maximedenes +# Secondary maintainer @silene /man/ @silene # Secondary maintainer @maximedenes |