From caf95ff50940e3e120e0879312870cdcff8d8fa7 Mon Sep 17 00:00:00 2001 From: Rick van Schijndel Date: Wed, 11 May 2022 21:04:28 +0200 Subject: [PATCH] CODEOWNERS: rename Gabriel439 to Gabriella439 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit See https://github.com/Gabriel439: Hi, there! 👋🏼 I renamed my GitHub account from @Gabriel439 to @Gabriella439, so if you got here from an old profile link you can visit my new profile here: @Gabriella439 I created this placeholder account so that: … people who visit old links to my profile can find my new profile … other people cannot impersonate my old handle … GitHub continues to redirect old links to my repositories indefinitely --- .github/CODEOWNERS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 28bfe7c1fd55..00c8dabe918f 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -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