From f37d3a463db88d3df7b983c2d752bca57d0fadf0 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <infinisil@icloud.com>
Date: Sat, 10 Nov 2018 16:12:36 +0100
Subject: [PATCH] .github/CODEOWNERS: Add infinisil to idris-modules

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 17b830e5fad0..745b497dd2d5 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -117,3 +117,6 @@
 # Dhall
 /pkgs/development/dhall-modules      @Gabriel439 @Profpatsch
 /pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch
+
+# Idris
+/pkgs/development/idris-modules @Infinisil