From 5cf7224c1cd7507eabe415951faad687e0a8f119 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 4 Feb 2019 18:00:42 +0100
Subject: Remove AppVeyor: superseded by Azure.

---
 .github/CODEOWNERS | 2 --
 1 file changed, 2 deletions(-)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 275d6c1ff5..f802040a1d 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -30,8 +30,6 @@
 # Trick to avoid getting review requests
 # each time someone adds an overlay
 
-/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