diff options
| author | Théo Zimmermann | 2018-05-14 11:38:03 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-14 11:38:03 +0200 |
| commit | 508e01108e911852326cf734891e3e2e6f2d3007 (patch) | |
| tree | 6d79c06f1cb19db8919edfd1b41d016d924c0168 | |
| parent | 4094a8c2cac668db112fc84f5d1b287eacbf6700 (diff) | |
Define code owners for more CI files.
| -rw-r--r-- | .github/CODEOWNERS | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index ab9725c967..70f67a8845 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 |