diff options
author | Graham Christensen <graham@grahamc.com> | 2019-12-23 21:57:08 -0500 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2019-12-23 21:59:39 -0500 |
commit | 0afebfeb5a6ab380d56bb2f6e38a362a02f8d4b8 (patch) | |
tree | 1b3d2aafc18e36e52dfcc013483bece0b273f3db /maintainers/maintainer-list.nix | |
parent | 3ec6f15997d277b37f804f9fc824711dc9f78814 (diff) |
maintainer list: lattfein account was deleted
See: https://github.com/NixOS/nixpkgs/pull/69007 where this was added but is now owned by a ghost. Possibly the username lattfein (currently github ID 56827487) is owned by the same person, but we should confirm before adding the GitHub ID back.
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index e9c1ac6333057..01ef2b65bcbb7 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3814,8 +3814,15 @@ }; lattfein = { email = "lattfein@gmail.com"; - github = "lattfein"; - githubId = 53550838; + # Their GitHub account was deleted. + # + # See: https://github.com/NixOS/nixpkgs/pull/69007 where this + # was added but is now owned by a ghost. + # + # Possibly the username lattfein (currently github ID 56827487) is + # owned by the same person, but we should confirm before adding + # the GitHub name or ID back. + # github = "lattfein"; name = "Koki Yasuno"; }; layus = { |