diff options
author | Pierre Bourdon <delroth@gmail.com> | 2023-04-21 09:44:09 +0200 |
---|---|---|
committer | Pierre Bourdon <delroth@gmail.com> | 2023-04-21 10:24:58 +0200 |
commit | 6cd3397a5ad077418b3f87a2ca2311d247893ac9 (patch) | |
tree | b5a246291313160f2fe441de3befe9003c17b897 /maintainers | |
parent | 8d82c9c90f465b4ef4ca111b7307702e229401a3 (diff) |
maintainer-list: fix a few changed github usernames
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index fa3f2990b9f67..068269395d878 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3518,7 +3518,7 @@ }; davidcromp = { email = "davidcrompton1192@gmail.com"; - github = "DavidCromp"; + github = "CyborgPotato"; githubId = 10701143; name = "David Crompton"; }; @@ -8417,7 +8417,7 @@ }; kristian-brucaj = { email = "kbrucaj@gmail.com"; - github = "Kristian-Brucaj"; + github = "Flameslice"; githubId = 8893110; name = "Kristian Brucaj"; }; @@ -14367,7 +14367,7 @@ name = "Smitty van Bodegom"; email = "me@smitop.com"; matrix = "@smitop:kde.org"; - github = "Smittyvb"; + github = "syvb"; githubId = 10530973; }; sna = { @@ -17333,7 +17333,7 @@ zseri = { name = "zseri"; email = "zseri.devel@ytrizja.de"; - github = "zseri"; + github = "fogti"; githubId = 1618343; keys = [{ fingerprint = "7AFB C595 0D3A 77BD B00F 947B 229E 63AE 5644 A96D"; |