diff options
| author | Maxime Dénès | 2018-12-21 11:54:52 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-12-21 11:54:52 +0100 |
| commit | e515639e16356285517fa8e326ab2823013f7a52 (patch) | |
| tree | 9158a1096f33cd7ab01c6a67ceb41a0de2718558 | |
| parent | ba6b5839add7587837b4cea890f2d505ce76d489 (diff) | |
Make @SkySkimmer an owner of test-suite/report.sh
| -rw-r--r-- | .github/CODEOWNERS | 2 |
1 files changed, 1 insertions, 1 deletions
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 |