Merge pull request #172593 from Mindavi/codeowners/fix-name

CODEOWNERS: rename Gabriel439 to Gabriella439
This commit is contained in:
Rick van Schijndel 2022-05-11 21:22:55 +02:00 committed by GitHub
commit 531dc471bb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

4
.github/CODEOWNERS vendored
View file

@ -192,8 +192,8 @@
/nixos/tests/knot.nix @mweinelt
# Dhall
/pkgs/development/dhall-modules @Gabriel439 @Profpatsch @ehmry
/pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch @ehmry
/pkgs/development/dhall-modules @Gabriella439 @Profpatsch @ehmry
/pkgs/development/interpreters/dhall @Gabriella439 @Profpatsch @ehmry
# Idris
/pkgs/development/idris-modules @Infinisil