diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-11-10 16:12:36 +0100 |
---|---|---|
committer | Silvan Mosberger <infinisil@icloud.com> | 2018-11-10 16:12:36 +0100 |
commit | f37d3a463db88d3df7b983c2d752bca57d0fadf0 (patch) | |
tree | 507477738ab847ec81cf946adb7d9db163a1ba1d /.github | |
parent | 713b0bb778ed50dcecdaa3ce253889cfb9c7262a (diff) |
.github/CODEOWNERS: Add infinisil to idris-modules
Diffstat (limited to '.github')
-rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
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 |