diff options
| author | Rick van Schijndel <rol3517@gmail.com> | 2022-05-11 21:04:28 +0200 |
|---|---|---|
| committer | Rick van Schijndel <rol3517@gmail.com> | 2022-05-11 21:04:28 +0200 |
| commit | caf95ff50940e3e120e0879312870cdcff8d8fa7 (patch) | |
| tree | 318262a01f61d70c786ed57b78f502c88b32389d /.github | |
| parent | 174c43d7d17b27e50074fe3c970a5659a4d8e39b (diff) | |
CODEOWNERS: rename Gabriel439 to Gabriella439
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
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 28bfe7c1fd55b..00c8dabe918ff 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 |