From d42646fdbf76ad245cf35da2f5f34953f78e4eb7 Mon Sep 17 00:00:00 2001 From: Mustaque Ahmed Date: Mon, 15 Dec 2025 13:30:28 +0530 Subject: [PATCH 1/2] fix: user does not exists PartiallyUntyped --- people/PartiallyUntyped.toml | 5 ----- teams/clippy-contributors.toml | 2 +- 2 files changed, 1 insertion(+), 6 deletions(-) delete mode 100644 people/PartiallyUntyped.toml 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..216c75229 100644 --- a/teams/clippy-contributors.toml +++ b/teams/clippy-contributors.toml @@ -12,7 +12,7 @@ members = [ "alex-semenyuk", ] alumni = [ - "PartiallyUntyped", + # "PartiallyUntyped", // user does not exists ] [[github]] From 29de8773dfa504320fc9abea2dc470b8f6496436 Mon Sep 17 00:00:00 2001 From: Mustaque Ahmed Date: Mon, 15 Dec 2025 13:52:03 +0530 Subject: [PATCH 2/2] Update teams/clippy-contributors.toml Co-authored-by: Marco Ieni <11428655+marcoieni@users.noreply.github.com> --- teams/clippy-contributors.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/teams/clippy-contributors.toml b/teams/clippy-contributors.toml index 216c75229..04704a06d 100644 --- a/teams/clippy-contributors.toml +++ b/teams/clippy-contributors.toml @@ -12,7 +12,8 @@ members = [ "alex-semenyuk", ] alumni = [ - # "PartiallyUntyped", // user does not exists + # User deleted their account + # "PartiallyUntyped" ] [[github]]