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