From 28f7d26cc21013027d6a73701d19a7d532695470 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 18 May 2018 14:41:59 +0200 Subject: Make Pierre-Marie a secondary maintainer of the kernel and checker. [ci skip] --- .github/CODEOWNERS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.github') diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 2ca827492..eeeb17b61 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -59,7 +59,7 @@ ########## Coqchk ########## /checker/ @barras -# Secondary maintainer @maximedenes +# Secondary maintainers @maximedenes @ppedrot ########## Coq lib ########## @@ -100,7 +100,7 @@ ########## Kernel ########## /kernel/ @maximedenes -# Secondary maintainer @barras +# Secondary maintainers @barras @ppedrot /kernel/byterun/ @maximedenes # Secondary maintainer @silene -- cgit v1.2.3