fix: remove user PartiallyUntyped

[amustaque97]

summary

User PartiallyUntyped doesn't exist, as we're getting a failure in CI for one of the PRs #2149

[Kobzol]

@blyxyas @flip1995 Do you know if the contributor perhaps renamed their GitHub account to something else?

[github-actions]

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing crates-io
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/project-vision-doc-2025':
      Adding member 'ernestkissiedu' with member role

[jieyouxu]

Do you know if the contributor perhaps renamed their GitHub account to something else?

AFAICT it's not a rename, the contributor's account got deleted or something based on the log:

[ERROR rust_team::validate] validation error: couldn't verify GitHub usernames: failed to resolve user id 52372765: graphql error: Could not resolve to a node with the global id of 'MDQ6VXNlcjUyMzcyNzY1'.
Check if the user has possibly deleted their account.

[jieyouxu]

Looking at https://lib.rs/~PartiallyUntyped and https://github.com/PartiallyUntyped, their account does not seem to exist anymore. Waiting for confirmation from clippy team.

[marcoieni]

I also think the user was removed. If it was renamed, github should redirect afaik.
Anyway, we can merge this PR for now to unblock the team CI and revert this in case the user has a new github username

[Kobzol]

Sure, let's merge to unblock CI.

[jieyouxu]

Yeah, seems reasonable.

[jieyouxu]

I also think the user was removed. If it was renamed, github should redirect afaik. Anyway, we can merge this PR for now to unblock the team CI and revert this in case the user has a new github username

Asking clippy team in #clippy > Removing `PartiallyUntyped` from clippy-contributors alumni

[blyxyas]

I think that she left Github (although not sure why), I'll try to email her asking if this is correct.