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(-) 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 From 8de0fa063aeb10caf0d992489d2b1bb7a99bbfe6 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 18 May 2018 14:47:26 +0200 Subject: [codeowner] Add comment. [ci skip] --- .github/CODEOWNERS | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index eeeb17b61..540c2673c 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -322,6 +322,7 @@ /Makefile.ci @ejgallego # Secondary maintainer @SkySkimmer +# This file belongs to the doc /Makefile.doc @maximedenes # Secondary maintainer @silene -- cgit v1.2.3 From 6667ebe1fcbacb36e95be90ae946ca62692e5623 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 18 May 2018 15:20:28 +0200 Subject: Maitainers for components of the test-suite (closes #7426). [ci skip] --- .github/CODEOWNERS | 49 ++++++++++++++++++++++++++++++++++++++----------- 1 file changed, 38 insertions(+), 11 deletions(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 540c2673c..b2b990032 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -59,11 +59,13 @@ ########## Coqchk ########## /checker/ @barras +/test-suite/coqchk/ @barras # Secondary maintainers @maximedenes @ppedrot ########## Coq lib ########## /clib/ @ppedrot +/test-suite/unit-tests/clib/ @ppedrot # Secondary maintainer @ejgallego /lib/ @ejgallego @@ -90,6 +92,7 @@ ########## CoqIDE ########## /ide/ @ppedrot +/test-suite/ide/ @ppedrot # Secondary maintainer @gares ########## Interpretation ########## @@ -146,7 +149,8 @@ /plugins/ltac/ @ppedrot # Secondary maintainer @herbelin -/plugins/micromega/ @fajb +/plugins/micromega/ @fajb +/test-suite/micromega/ @fajb # Secondary maintainer @bgregoir /plugins/nsatz/ @thery @@ -162,7 +166,8 @@ /plugins/ssrmatching/ @gares # Secondary maintainer @maximedenes -/plugins/ssr/ @gares +/plugins/ssr/ @gares +/test-suite/ssr/ @gares # Secondary maintainer @maximedenes /plugins/syntax/ @ppedrot @@ -190,14 +195,21 @@ ########## STM ########## -/stm/ @gares -# Secondary maintainer @ejgallego +/stm/ @gares +/test-suite/interactive/ @gares +/test-suite/stm/ @gares +/test-suite/vio/ @gares +# Secondary maintainer @ejgallego ########## Tactics ########## /tactics/ @ppedrot # Secondary maintainer @mattam82 +/tactics/class_tactics.* @mattam82 +/test-suite/typeclasses/ @mattam82 +# Secondary maintainer @ppedrot + ########## Standard library ########## /theories/Arith/ @letouzey @@ -276,14 +288,14 @@ ########## Tools ########## -/tools/coqdoc/ @silene +/tools/coqdoc/ @silene +/test-suite/coqdoc/ @silene # Secondary maintainer @mattam82 -/tools/coq_makefile* @gares -# Secondary maintainer @silene - -/tools/CoqMakefile* @gares -# Secondary maintainer @silene +/tools/coq_makefile* @gares +/tools/CoqMakefile* @gares +/test-suite/coq-makefile/ @gares +# Secondary maintainer @silene /tools/coqdep* @ppedrot # Secondary maintainer @maximedenes @@ -291,7 +303,8 @@ /tools/coq_tex* @silene # Secondary maintainer @gares -/tools/coqwc* @silene +/tools/coqwc* @silene +/test-suite/coqwc/ @silene # Secondary maintainer @gares ########## Toplevel ########## @@ -326,6 +339,20 @@ /Makefile.doc @maximedenes # Secondary maintainer @silene +########## Test suite ########## + +/test-suite/Makefile @gares +/test-suite/_CoqProject @gares +/test-suite/README.md @gares +# Secondary maintainer @SkySkimmer + +/test-suite/save-logs @SkySkimmer + +/test-suite/complexity/ @herbelin + +/test-suite/unit-tests/src/ @jfehrle +# Secondary maintainer @SkySkimmer + ########## Developer tools ########## /dev/tools/backport-pr.sh @Zimmi48 -- cgit v1.2.3 From 89bfc37b26d79f5e29c079fee912bb2bfaa9b07c Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Tue, 22 May 2018 16:34:24 +0200 Subject: Add myself as a secondary maintainer for the documentation. To reflect reality. [ci skip] --- .github/CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index b2b990032..119ce082d 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -51,7 +51,7 @@ # each time someone modifies the dev changelog /doc/ @maximedenes -# Secondary maintainer @silene +# Secondary maintainer @silene @Zimmi48 /man/ @silene # Secondary maintainer @maximedenes -- cgit v1.2.3 From 315cc7ad85b96dd5155f8ec0516b43af64e62a8b Mon Sep 17 00:00:00 2001 From: Théo Zimmermann 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(-) 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