From 274411f257e84d6552c3da163dd5420cd46db841 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 12 Nov 2018 16:09:48 +0000
Subject: Set codeowners for dev/ci/nix

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 324889ec90..512a9c99eb 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -24,6 +24,7 @@
 /.travis.yml      @coq/ci-maintainers
 /.gitlab-ci.yml   @coq/ci-maintainers
 /Makefile.ci      @coq/ci-maintainers
+/dev/ci/nix	@coq/nix-maintainers
 
 /dev/ci/user-overlays/*.sh @ghost
 # Trick to avoid getting review requests
-- 
cgit v1.2.3