diff options
| author | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2023-12-07 08:39:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-07 08:39:18 +0100 |
| commit | 4ce1a2ab6fb9494914a2d696aa3a848027cd394d (patch) | |
| tree | fd31e98b3a37cfc0d71d5bdd35337117d0d144bd /maintainers | |
| parent | 7d634086d2994be05fecc9bb6c0fc3188a4ef2ba (diff) | |
| parent | 39622e701d86081a986101868effde0649502957 (diff) | |
Merge pull request #264035 from pbsds/fix-maintainers
maintainers: fix IDs and update github handles
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 2e701fc44bd3a..40b793e49e21a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4131,7 +4131,7 @@ email = "davidlewis@mac.com"; github = "oceanlewis"; githubId = 6754950; - name = "David Armstrong Lewis"; + name = "Ocean Armstrong Lewis"; }; davidcromp = { email = "davidcrompton1192@gmail.com"; @@ -11980,7 +11980,7 @@ }; milran = { email = "milranmike@protonmail.com"; - github = "milran"; + github = "wattmto"; githubId = 93639059; name = "Milran Mike"; }; @@ -15353,7 +15353,7 @@ revol-xut = { email = "revol-xut@protonmail.com"; name = "Tassilo Tanneberger"; - github = "revol-xut"; + github = "tanneberger"; githubId = 32239737; keys = [{ fingerprint = "91EB E870 1639 1323 642A 6803 B966 009D 57E6 9CC6"; @@ -16057,8 +16057,8 @@ }; SamirTalwar = { email = "lazy.git@functional.computer"; - github = "abstracte"; - githubId = 47852; + github = "SamirTalwar"; + githubId = 47582; name = "Samir Talwar"; }; samlich = { |