From d6da3a87be3f54272e2a79b4bc0a66bf19b66b9f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Sat, 1 Nov 2025 11:53:21 +0100 Subject: [PATCH] Backfill Zulip IDs based on Zulip name and GitHub name match --- people/dkhayes117.toml | 1 + people/romancardenas.toml | 1 + people/thalesfragoso.toml | 1 + 3 files changed, 3 insertions(+) diff --git a/people/dkhayes117.toml b/people/dkhayes117.toml index 092bea062..851905280 100644 --- 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 index cb51539a9..d4a62f5cb 100644 --- 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 index e9aea28d6..3d892c7a1 100644 --- a/people/thalesfragoso.toml +++ b/people/thalesfragoso.toml @@ -2,3 +2,4 @@ name = 'Thales' github = 'thalesfragoso' github-id = 46510852 email = false +zulip-id = 267734