From 9f58e0a4fa814484f188236ebb39e86dd737d218 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 22 Jan 2019 23:24:09 +0100
Subject: Transfer maintenance of appveyor infrastructure to the CI team

---
 .github/CODEOWNERS | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 2a641263e3..ecfeac65ad 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -30,10 +30,9 @@
 # Trick to avoid getting review requests
 # each time someone adds an overlay
 
-/appveyor.yml          @maximedenes
-/dev/ci/appveyor.*     @maximedenes
-/dev/ci/*.bat          @maximedenes
-# Secondary maintainer @SkySkimmer
+/appveyor.yml          @coq/ci-maintainers
+/dev/ci/appveyor.*     @coq/ci-maintainers
+/dev/ci/*.bat          @coq/ci-maintainers
 
 *.nix             @coq/nix-maintainers
 
-- 
cgit v1.2.3