diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 5c2b495fa8e1..52604f62fdf7 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -120,3 +120,6 @@
 # Dhall
 /pkgs/development/dhall-modules      @Gabriel439 @Profpatsch
 /pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch
+
+# Idris
+/pkgs/development/idris-modules @Infinisil