Backfill Zulip IDs based on Zulip name and GitHub name match

Kobzol · Kobzol · commit 14513a835bfa · 2025-11-01T11:53:21.000+01:00
diff --git a/people/dkhayes117.toml b/people/dkhayes117.toml
@@ -2,3 +2,4 @@ name = 'dkhayes117'
 github = 'dkhayes117'
 github-id = 59458913
 email = false
+zulip-id = 719910
diff --git a/people/romancardenas.toml b/people/romancardenas.toml
@@ -2,3 +2,4 @@ name = 'Román Cárdenas'
 github = 'romancardenas'
 github-id = 12596603
 email = false
+zulip-id = 872568
diff --git a/people/thalesfragoso.toml b/people/thalesfragoso.toml
@@ -2,3 +2,4 @@ name = 'Thales'
 github = 'thalesfragoso'
 github-id = 46510852
 email = false
+zulip-id = 267734
