From e515639e16356285517fa8e326ab2823013f7a52 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Fri, 21 Dec 2018 11:54:52 +0100 Subject: Make @SkySkimmer an owner of test-suite/report.sh --- .github/CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 0f2dd89975..b0e79fb1b2 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -314,7 +314,7 @@ azure-pipelines.yml @coq/ci-maintainers /test-suite/README.md @gares # Secondary maintainer @SkySkimmer -/test-suite/save-logs @SkySkimmer +/test-suite/report.sh @SkySkimmer /test-suite/complexity/ @herbelin -- cgit v1.2.3