Backfill many missing Zulip IDs

[Kobzol]

Backfills many of the missing Zulip user IDs. This was done by using three heuristics (in three commits), in decreasing level of confidence:

• Matching Zulip name with the GitHub username.
• Matching Zulip name with the team DB name.
• Matching Zulip name with the GItHub name.

I only included matches where there was exactly one Zulip account matched (ignored duplicates). All matches were done with lowercase normalization, but without Unicode normalization.

[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 github

[Kobzol]

I found some duplicates with my matching script, where a single GitHub account was matched to multiple Zulip accounts by my name matching heuristic:

User: Person { name: "Dhruv Jauhar", github: "null-sleep", github_id: 13277988, zulip_id: None, irc: None, email: Explicit(None), discord_id: None, matrix: None, permissions: Permissions { bors: {}, booleans: {} } } matched with multiple Zulip accounts:
[ZulipUser { user_id: 282466, name: "Dhruv Jauhar", profile_data: {} }, ZulipUser { user_id: 282558, name: "Dhruv Jauhar", profile_data: {} }]

User: Person { name: "Tom Prince", github: "tomprince", github_id: 283816, zulip_id: None, irc: None, email: Explicit(Some("[email protected]")), discord_id: None, matrix: None, permissions: Permissions { bors: {}, booleans: {} } } matched with multiple Zulip accounts:
[ZulipUser { user_id: 407597, name: "Tom Prince", profile_data: {} }, ZulipUser { user_id: 119280, name: "Tom Prince", profile_data: {} }]

User: Person { name: "Daniel Egger", github: "therealprof", github_id: 3321888, zulip_id: None, irc: None, email: Explicit(Some("[email protected]")), discord_id: None, matrix: None, permissions: Permissions { bors: {}, booleans: {} } } matched with multiple Zulip accounts:
[ZulipUser { user_id: 392749, name: "Daniel Egger", profile_data: {} }, ZulipUser { user_id: 263083, name: "Daniel Egger", profile_data: {} }]

User: Person { name: "Ryan", github: "ryankurte", github_id: 860620, zulip_id: None, irc: None, email: Disabled(false), discord_id: None, matrix: None, permissions: Permissions { bors: {}, booleans: {} } } matched with multiple Zulip accounts:
[ZulipUser { user_id: 249469, name: "Ryan", profile_data: {} }, ZulipUser { user_id: 460074, name: "Ryan", profile_data: {} }]

User: Person { name: "Daniel Silverstone", github: "kinnison", github_id: 1469421, zulip_id: None, irc: None, email: Explicit(Some("[email protected]")), discord_id: None, matrix: None, permissions: Permissions { bors: {}, booleans: {} } } matched with multiple Zulip accounts:
[ZulipUser { user_id: 389398, name: "Daniel Silverstone", profile_data: {} }, ZulipUser { user_id: 223910, name: "Daniel Silverstone", profile_data: {} }]

User: Person { name: "Brad Gibson", github: "U007D", github_id: 2874989, zulip_id: None, irc: None, email: Explicit(Some("[email protected]")), discord_id: None, matrix: None, permissions: Permissions { bors: {}, booleans: {} } } matched with multiple Zulip accounts:
[ZulipUser { user_id: 437845, name: "U007D", profile_data: {} }, ZulipUser { user_id: 880714, name: "U007D", profile_data: {} }]

@null-sleep @tomprince @therealprof @ryankurte @kinnison @U007D Could you please send me your Zulip account ID that you use? The list above should show some Zulip accounts that might be yours.

[kinnison]

@kinnison Could you please send me your Zulip account ID that you use? The list above should show some Zulip accounts that might be yours.

@Kobzol "Use" is a loaded term, but the ID I have if I log in with my github account is 223910

D.

[Kobzol]

Yeah, it's mostly about having the IDs in the DB, we don't "require" people to actively use Zulip, ofc.