From 508e01108e911852326cf734891e3e2e6f2d3007 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Mon, 14 May 2018 11:38:03 +0200 Subject: Define code owners for more CI files. --- .github/CODEOWNERS | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to '.github') diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index ab9725c96..70f67a884 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -8,9 +8,13 @@ ########## CI infrastructure ########## -/dev/ci/*.sh @ejgallego +/dev/ci/ @ejgallego # Secondary maintainer @SkySkimmer +/dev/ci/user-overlays/*.sh @ghost +# Trick to avoid getting review requests +# each time someone adds an overlay + /.circleci/ @SkySkimmer # Secondary maintainer @ejgallego @@ -20,7 +24,9 @@ /.gitlab-ci.yml @SkySkimmer # Secondary maintainer @ejgallego -/appveyor.yml @maximedenes +/appveyor.yml @maximedenes +/dev/ci/appveyor.* @maximedenes +/dev/ci/*.bat @maximedenes # Secondary maintainer @SkySkimmer /default.nix @Zimmi48 -- cgit v1.2.3