Use a different Zulip account ID based on duplicate entries

Kobzol · Kobzol · commit 2202a4db6e47 · 2025-11-01T11:24:51.000+01:00
diff --git a/people/U007D.toml b/people/U007D.toml
@@ -2,4 +2,4 @@ name = 'Brad Gibson'
 github = 'U007D'
 github-id = 2874989
 email = 'b2b@humanenginuity.com'
-zulip-id = 437845
+zulip-id = 880714
diff --git a/people/kinnison.toml b/people/kinnison.toml
@@ -2,4 +2,4 @@ name = "Daniel Silverstone"
 github = "kinnison"
 github-id = 1469421
 email = "dsilvers@digital-scurf.org"
-zulip-id = 389398
+zulip-id = 223910
diff --git a/people/therealprof.toml b/people/therealprof.toml
@@ -2,4 +2,4 @@ name = "Daniel Egger"
 github = "therealprof"
 github-id = 3321888
 email = "derust@eggers-club.de"
-zulip-id = 392749
+zulip-id = 263083
