From 315cc7ad85b96dd5155f8ec0516b43af64e62a8b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 25 May 2018 15:27:02 +0200
Subject: Change primary maintainer for the checker.

Primary maintainers should be responsive.

[ci skip]
---
 .github/CODEOWNERS | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 119ce082d..782efb5be 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -58,9 +58,9 @@
 
 ########## Coqchk ##########
 
-/checker/         @barras
-/test-suite/coqchk/     @barras
-# Secondary maintainers @maximedenes @ppedrot
+/checker/               @ppedrot
+/test-suite/coqchk/     @ppedrot
+# Secondary maintainers @maximedenes
 
 ########## Coq lib ##########
 
-- 
cgit v1.2.3