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/CODEOWNERS | |
| parent | 081f17f0d080af6e9777c87adcf50466764d9a83 (diff) | |
| parent | f37d3a463db88d3df7b983c2d752bca57d0fadf0 (diff) | |
| download | nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.tar nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.tar.gz nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.tar.bz2 nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.tar.lz nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.tar.xz nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.tar.zst nixpkgs-25864ec2b74cf79e99d212b9ef16057bfc79a895.zip | |
Merge pull request #50183 from Infinisil/idris-codeowners
.github/CODEOWNERS: Add infinisil to idris-modules
Diffstat (limited to '.github/CODEOWNERS')
| -rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 5c2b495fa8e..52604f62fdf 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 |