From bb1c89a486d47dbf497756b8374337a6857a96de Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 12 Dec 2018 14:10:52 +0100
Subject: Set up CI with Azure Pipelines

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 98fe2546b5..0f2dd89975 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -37,6 +37,9 @@
 
 *.nix             @coq/nix-maintainers
 
+azure-pipelines.yml @coq/ci-maintainers
+/dev/ci/azure* @coq/ci-maintainers
+
 ########## Documentation ##########
 
 /README.md        @Zimmi48
-- 
cgit v1.2.3