diff --git a/people/PartiallyUntyped.toml b/people/PartiallyUntyped.toml deleted file mode 100644 index 413c109f1..000000000 --- a/people/PartiallyUntyped.toml +++ /dev/null @@ -1,5 +0,0 @@ -name = "Astraea Quinn S" -github = "PartiallyUntyped" -github-id = 52372765 -zulip-id = 666012 -email = "me@m-rph.dev" diff --git a/teams/clippy-contributors.toml b/teams/clippy-contributors.toml index 7ef7d0643..04704a06d 100644 --- a/teams/clippy-contributors.toml +++ b/teams/clippy-contributors.toml @@ -12,7 +12,8 @@ members = [ "alex-semenyuk", ] alumni = [ - "PartiallyUntyped", + # User deleted their account + # "PartiallyUntyped" ] [[github]]