diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-26 10:39:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-26 10:39:05 +0200 |
| commit | d8603ba5bc093a479bc30df580f4f25709681c16 (patch) | |
| tree | 789ab8cbef8cdbf77a72ab2fe0ba7a1ad5bee54a /.github | |
| parent | e128900aee63c972d7977fd47e3fd21649b63409 (diff) | |
Use Pierre Corbineau GitHub nickname in CODEOWNERS.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index fea50c58c..ee291aebb 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -104,8 +104,8 @@ /plugins/btauto/ @ppedrot # Secondary maintainer @herbelin -# I don't know Pierre Corbineau's GitHub nickname -/plugins/cc/ @herbelin +/plugins/cc/ @PierreCorbineau +# Secondary maintainer @herbelin /plugins/derive/ @aspiwack # Secondary maintainer @ppedrot @@ -113,8 +113,8 @@ /plugins/extraction/ @letouzey # Secondary maintainer @maximedenes -# I don't know Pierre Corbineau's GitHub nickname -/plugins/firstorder/ @herbelin +/plugins/firstorder/ @PierreCorbineau +# Secondary maintainer @herbelin /plugins/fourier/ @herbelin # Secondary maintainer @gares @@ -149,8 +149,8 @@ /plugins/quote/ @herbelin -# Should be Pierre Corbineau too -/plugins/rtauto/ @herbelin +/plugins/rtauto/ @PierreCorbineau +# Secondary maintainer @herbelin ########## Pretyper ########## |