Merge pull request #2052 from Kobzol/zulip-backfill-gh-username

jieyouxu · web-flow · commit 24eb0997310b · 2025-11-26T09:23:45.000Z
Backfill Zulip IDs based on Zulip name and GitHub username match
diff --git a/people/Azhng.toml b/people/Azhng.toml
@@ -1,3 +1,4 @@
 name = 'Archer Zhang'
 github = 'Azhng'
 github-id = 9267198
+zulip-id = 282522
diff --git a/people/Centril.toml b/people/Centril.toml
@@ -3,3 +3,4 @@ github = "Centril"
 github-id = 855702
 irc = "centril"
 email = "twingoow@gmail.com"
+zulip-id = 126931
diff --git a/people/CraftSpider.toml b/people/CraftSpider.toml
@@ -2,3 +2,4 @@ name = 'Jakob Wiesmore'
 github = 'CraftSpider'
 github-id = 13342132
 email = 'runetynan@gmail.com'
+zulip-id = 319144
diff --git a/people/Emilgardis.toml b/people/Emilgardis.toml
@@ -2,3 +2,4 @@ name = "Emil Gardström"
 github = "Emilgardis"
 github-id = 1502855
 email = "emil.gardstrom@protonmail.com"
+zulip-id = 300380
diff --git a/people/Gankra.toml b/people/Gankra.toml
@@ -2,3 +2,4 @@ name = "Aria Beingessner"
 github = "Gankra"
 github-id = 1136864
 email = "a.beingessner@gmail.com"
+zulip-id = 137587
diff --git a/people/JOE1994.toml b/people/JOE1994.toml
@@ -1,3 +1,4 @@
 name = 'Youngsuk Kim'
 github = 'JOE1994'
 github-id = 10286488
+zulip-id = 242132
diff --git a/people/Kimundi.toml b/people/Kimundi.toml
@@ -3,3 +3,4 @@ github = "Kimundi"
 github-id = 2903206
 irc = "kimundi"
 email = "loebel.marvin@gmail.com"
+zulip-id = 125789
diff --git a/people/Lokathor.toml b/people/Lokathor.toml
@@ -2,3 +2,4 @@ name = "Daniel Gee"
 github = "Lokathor"
 github-id = 5456384
 email = "zefria@gmail.com"
+zulip-id = 224471
diff --git a/people/MajorBreakfast.toml b/people/MajorBreakfast.toml
@@ -2,3 +2,4 @@ name = "Josef Brandl"
 github = "MajorBreakfast"
 github-id = 340142
 email = "mail@josefbrandl.de"
+zulip-id = 120748
diff --git a/people/QuietMisdreavus.toml b/people/QuietMisdreavus.toml
@@ -3,3 +3,4 @@ github = "QuietMisdreavus"
 github-id = 5217170
 irc = "misdreavus"
 email = "grey@quietmisdreavus.net"
+zulip-id = 133692
diff --git a/people/XAMPPRocky.toml b/people/XAMPPRocky.toml
@@ -2,3 +2,4 @@ name = "Erin Power"
 github = "XAMPPRocky"
 github-id = 4464295
 email = "xampprocky@icloud.com"
+zulip-id = 219696
diff --git a/people/Zoxc.toml b/people/Zoxc.toml
@@ -2,3 +2,4 @@ name = "Zoxc"
 github = "Zoxc"
 github-id = 25784
 email = "zoxc32@gmail.com"
+zulip-id = 116466
diff --git a/people/andrewpollack.toml b/people/andrewpollack.toml
@@ -2,3 +2,4 @@ name = 'andrewpollack'
 github = 'andrewpollack'
 github-id = 24868505
 email = 'andrewpkq@gmail.com'
+zulip-id = 432550
diff --git a/people/avadacatavra.toml b/people/avadacatavra.toml
@@ -2,3 +2,4 @@ name = "Diane Hosfelt"
 github = "avadacatavra"
 github-id = 11877868
 email = "dianehosfelt@gmail.com"
+zulip-id = 126854
diff --git a/people/chansuke.toml b/people/chansuke.toml
@@ -2,3 +2,4 @@ name = 'chansuke'
 github = 'chansuke'
 github-id = 501052
 email = 'moonset20@gmail.com'
+zulip-id = 220021
diff --git a/people/csmoe.toml b/people/csmoe.toml
@@ -1,3 +1,4 @@
 name = 'csmoe'
 github = 'csmoe'
 github-id = 35686186
+zulip-id = 116773
diff --git a/people/detrumi.toml b/people/detrumi.toml
@@ -2,3 +2,4 @@ name = 'Wilco Kusee'
 github = 'detrumi'
 github-id = 5758008
 email = "wilcokusee@gmail.com"
+zulip-id = 125131
diff --git a/people/hellow554.toml b/people/hellow554.toml
@@ -1,3 +1,4 @@
 name = 'Marcel'
 github = 'hellow554'
 github-id = 921462
+zulip-id = 250726
diff --git a/people/heyrutvik.toml b/people/heyrutvik.toml
@@ -2,3 +2,4 @@ name = 'Rutvik Patel'
 github = 'heyrutvik'
 github-id = 6268538
 email = "heyrutvik@gmail.com"
+zulip-id = 246504
diff --git a/people/mark-i-m.toml b/people/mark-i-m.toml
@@ -2,3 +2,4 @@ name = 'Who? Me?!'
 github = 'mark-i-m'
 github-id = 8827840
 email = "m.mim95@gmail.com"
+zulip-id = 198054
diff --git a/people/ozkriff.toml b/people/ozkriff.toml
@@ -2,3 +2,4 @@ name = "Andrey Lesnikov"
 github = "ozkriff"
 github-id = 662976
 email = "ozkriff@gmail.com"
+zulip-id = 119279
diff --git a/people/qmx.toml b/people/qmx.toml
@@ -2,3 +2,4 @@ name = "Douglas Campos"
 github = "qmx"
 github-id = 66734
 email = "qmx@qmx.me"
+zulip-id = 116013
diff --git a/people/repi.toml b/people/repi.toml
@@ -2,3 +2,4 @@ name = "Johan Andersson"
 github = "repi"
 github-id = 1262692
 email = "johan@embark-studios.com"
+zulip-id = 210482
diff --git a/people/robjtede.toml b/people/robjtede.toml
@@ -1,3 +1,4 @@
 name = 'Rob Ede'
 github = 'robjtede'
 github-id = 3316789
+zulip-id = 373838
diff --git a/people/rpjohnst.toml b/people/rpjohnst.toml
@@ -3,3 +3,4 @@ github = "rpjohnst"
 github-id = 161677
 irc = "Rusky"
 email = "rpjohnst@gmail.com"
+zulip-id = 117495
diff --git a/people/scalexm.toml b/people/scalexm.toml
@@ -2,3 +2,4 @@ name = "Alexandre Martin"
 github = "scalexm"
 github-id = 1173131
 email = "alexandre@scalexm.fr"
+zulip-id = 131694
diff --git a/people/sekineh.toml b/people/sekineh.toml
@@ -2,3 +2,4 @@ name = "Hideki Sekine"
 github = "sekineh"
 github-id = 3956266
 email = false
+zulip-id = 119240
diff --git a/people/sgrif.toml b/people/sgrif.toml
@@ -3,3 +3,4 @@ github = "sgrif"
 github-id = 1529387
 email = "sage@sagetheprogrammer.com"
 discord-id = 232888196063690752
+zulip-id = 422717
diff --git a/people/sgued.toml b/people/sgued.toml
@@ -2,3 +2,4 @@ name = "Sosthène Guédon"
 github = "sgued"
 github-id = 51865119
 email = "sosthene@guedon.gdn"
+zulip-id = 408753
diff --git a/people/sinato.toml b/people/sinato.toml
@@ -1,3 +1,4 @@
 name = 'Shingo Kato'
 github = 'sinato'
 github-id = 20817743
+zulip-id = 280946
diff --git a/people/whitequark.toml b/people/whitequark.toml
@@ -2,3 +2,4 @@ name = "whitequark"
 github = "whitequark"
 github-id = 54771
 email = "whitequark@whitequark.org"
+zulip-id = 226634
diff --git a/people/woshilapin.toml b/people/woshilapin.toml
@@ -2,3 +2,4 @@ name = 'Jean SIMARD'
 github = 'woshilapin'
 github-id = 2520723
 email = 'woshilapin@tuziwo.info'
+zulip-id = 251179
