diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-11-14 19:19:55 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-14 19:19:55 +0100 |
commit | 25864ec2b74cf79e99d212b9ef16057bfc79a895 (patch) | |
tree | 58940ddafe0d12843fe824708354edb506df05cd /.github | |
parent | 081f17f0d080af6e9777c87adcf50466764d9a83 (diff) | |
parent | f37d3a463db88d3df7b983c2d752bca57d0fadf0 (diff) |
Merge pull request #50183 from Infinisil/idris-codeowners
.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 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 |