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.
This commit is contained in:
Graham Christensen 2019-12-23 21:57:08 -05:00
parent 3ec6f15997
commit 0afebfeb5a
No known key found for this signature in database
GPG Key ID: FE918C3A98C1030F
1 changed files with 9 additions and 2 deletions

View File

@ -3814,8 +3814,15 @@
}; };
lattfein = { lattfein = {
email = "lattfein@gmail.com"; email = "lattfein@gmail.com";
github = "lattfein"; # Their GitHub account was deleted.
githubId = 53550838; #
# 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"; name = "Koki Yasuno";
}; };
layus = { layus = {