Merge pull request #2050 from Kobzol/backfill-gh-zulip-association

jieyouxu · web-flow · commit 918a6508a2cc · 2025-11-01T10:24:21.000Z
Backfill missing Zulip IDs based on GitHub account association and user comments
diff --git a/people/AngelOnFira.toml b/people/AngelOnFira.toml
@@ -3,3 +3,4 @@ github = "AngelOnFira"
 github-id = 14791619
 email = "forestkzanderson@gmail.com"
 discord-id = 133358326439346176
+zulip-id = 422143
diff --git a/people/JamieCunliffe.toml b/people/JamieCunliffe.toml
@@ -1,3 +1,4 @@
 name = 'Jamie Cunliffe'
 github = 'JamieCunliffe'
 github-id = 29557119
+zulip-id = 309977
diff --git a/people/KannanPalani57.toml b/people/KannanPalani57.toml
@@ -1,4 +1,5 @@
 name = "Kannan Palani"
 github = "KannanPalani57"
 github-id = 45064864
-email = "kannanpalani455@gmail.com"
+email = "kannanpalani455@gmail.com"
+zulip-id = 982069
diff --git a/people/Noah-Kennedy.toml b/people/Noah-Kennedy.toml
@@ -2,3 +2,4 @@ name = 'Noah Kennedy'
 github = 'Noah-Kennedy'
 email = 'noah.kennedy.professional@gmail.comn'
 github-id = 9875622
+zulip-id = 252466
diff --git a/people/SimonSapin.toml b/people/SimonSapin.toml
@@ -2,3 +2,4 @@ name = "Simon Sapin"
 github = "SimonSapin"
 github-id = 291359
 email = "simon.sapin@exyr.org"
+zulip-id = 219747
diff --git a/people/TimNN.toml b/people/TimNN.toml
@@ -2,3 +2,4 @@ name = "Tim Neumann"
 github = "TimNN"
 github-id = 1178249
 email = "mail@timnn.me"
+zulip-id = 127836
diff --git a/people/Wodann.toml b/people/Wodann.toml
@@ -2,3 +2,4 @@ name = "Remco"
 github = "Wodann"
 github-id = 6917585
 email = "wodannson@gmail.com"
+zulip-id = 260109
diff --git a/people/aapoalas.toml b/people/aapoalas.toml
@@ -1,3 +1,4 @@
 name = "Aapo Alasuutari"
 github = "aapoalas"
 github-id = 19621382
+zulip-id = 699208
diff --git a/people/adamgemmell.toml b/people/adamgemmell.toml
@@ -1,3 +1,4 @@
 name = 'Adam Gemmell'
 github = 'adamgemmell'
 github-id = 3757567
+zulip-id = 382356
diff --git a/people/amandasystems.toml b/people/amandasystems.toml
@@ -1,3 +1,4 @@
 name = 'Amanda Stjerna'
 github = 'amandasystems'
 github-id = 102855
+zulip-id = 204115
diff --git a/people/ashleygwilliams.toml b/people/ashleygwilliams.toml
@@ -3,3 +3,4 @@ github = "ashleygwilliams"
 github-id = 1163554
 email = "ashley666ashley@gmail.com"
 discord-id = 235479952361914368
+zulip-id = 116014
diff --git a/people/badboy.toml b/people/badboy.toml
@@ -3,3 +3,4 @@ github = "badboy"
 github-id = 2129
 email = "janerik@fnordig.de"
 discord-id = 347670185806659585
+zulip-id = 143300
diff --git a/people/basil-cow.toml b/people/basil-cow.toml
@@ -2,3 +2,4 @@ name = 'Michael Babenko'
 github = 'basil-cow'
 github-id = 25266609
 email = 'misha-babenko@yandex.ru'
+zulip-id = 251766
diff --git a/people/bdillo.toml b/people/bdillo.toml
@@ -1,4 +1,5 @@
 name = "Ben Dillon"
 github = "bdillo"
 github-id = 146687321
-email = "ben.g.dillon@pm.me"
+email = "ben.g.dillon@pm.me"
+zulip-id = 708925
diff --git a/people/bennyvasquez.toml b/people/bennyvasquez.toml
@@ -2,3 +2,4 @@ name = 'benny Vasquez'
 github = 'bennyvasquez'
 github-id = 13630986
 email = 'bennycrampton@gmail.com'
+zulip-id = 683670
diff --git a/people/cdmistman.toml b/people/cdmistman.toml
@@ -2,3 +2,4 @@ name = 'Colton Donnelly'
 github = 'cdmistman'
 github-id = 23486351
 email = 'colton@donn.io'
+zulip-id = 386954
diff --git a/people/dingxiangfei2009.toml b/people/dingxiangfei2009.toml
@@ -1,3 +1,4 @@
 name = "Ding Xiang Fei"
 github = "dingxiangfei2009"
 github-id = 6884440
+zulip-id = 158589
diff --git a/people/eldruin.toml b/people/eldruin.toml
@@ -2,3 +2,4 @@ name = 'Diego Barrios Romero'
 github = 'eldruin'
 github-id = 43125
 email = "eldruin@gmail.com"
+zulip-id = 983731
diff --git a/people/eminence.toml b/people/eminence.toml
@@ -2,3 +2,4 @@ name = "Andrew Chin"
 github = "eminence"
 github-id = 402454
 email = "achin@eminence32.net"
+zulip-id = 222286
diff --git a/people/ericseppanen.toml b/people/ericseppanen.toml
@@ -2,3 +2,4 @@ name = 'Eric Seppanen'
 github = 'ericseppanen'
 github-id = 36317762
 email = 'eds@reric.net'
+zulip-id = 383356
diff --git a/people/extrawurst.toml b/people/extrawurst.toml
@@ -2,3 +2,4 @@ name = 'Stephan D.'
 github = 'extrawurst'
 github-id = 776816
 email = 'mail@rusticorn.com'
+zulip-id = 879336
diff --git a/people/flaki.toml b/people/flaki.toml
@@ -4,3 +4,4 @@ github-id = 2089432
 irc = "flaki"
 email = "rust@flaki.hu"
 discord-id = 453958363152252928
+zulip-id = 257101
diff --git a/people/frank-king.toml b/people/frank-king.toml
@@ -1,3 +1,4 @@
 name = "Frank King"
 github = "frank-king"
 github-id = 16741972
+zulip-id = 449849
diff --git a/people/icmccorm.toml b/people/icmccorm.toml
@@ -1,3 +1,4 @@
 name = "Ian McCormack"
 github = "icmccorm"
 github-id = 30697012
+zulip-id = 621844
diff --git a/people/jakos-sec.toml b/people/jakos-sec.toml
@@ -1,3 +1,4 @@
 name = "Jakob Koschel"
 github = "jakos-sec"
 github-id = 187629710
+zulip-id = 785440
diff --git a/people/japaric.toml b/people/japaric.toml
@@ -2,3 +2,4 @@ name = "Jorge Aparicio"
 github = "japaric"
 github-id = 5018213
 email = "jorge@japaric.io"
+zulip-id = 328329
diff --git a/people/kanru.toml b/people/kanru.toml
@@ -2,3 +2,4 @@ name = 'Kan-Ru Chen'
 github = 'kanru'
 github-id = 17571
 email = "kanru@kanru.info"
+zulip-id = 201682
diff --git a/people/lucarlig.toml b/people/lucarlig.toml
@@ -2,3 +2,4 @@ name = 'Luca Carlig'
 github = 'lucarlig'
 github-id = 20149527
 email = 'luca.carlig@huawei.com'
+zulip-id = 255627
diff --git a/people/mabezdev.toml b/people/mabezdev.toml
@@ -2,3 +2,4 @@ name = "Scott Mabin"
 github = "MabezDev"
 github-id = 6977289
 email = "scott@mabez.dev"
+zulip-id = 430989
diff --git a/people/manyinsects.toml b/people/manyinsects.toml
@@ -3,3 +3,4 @@ github = "manyinsects"
 github-id = 6445316
 email = "mail@liv.nrw"
 discord-id = 972581951082999898
+zulip-id = 253298
diff --git a/people/mariannegoldin.toml b/people/mariannegoldin.toml
@@ -2,3 +2,4 @@ name = 'M Goldin'
 github = 'mariannegoldin'
 github-id = 23177337
 email = 'marianne.goldin@gmail.com'
+zulip-id = 879409
diff --git a/people/marioidival.toml b/people/marioidival.toml
@@ -3,3 +3,4 @@ github = "marioidival"
 github-id = 1129263
 irc = "marioidival"
 email = "marioidival@gmail.com"
+zulip-id = 454215
diff --git a/people/mattgathu.toml b/people/mattgathu.toml
@@ -2,3 +2,4 @@ name = "Matt Gathu"
 github = "mattgathu"
 github-id = 1155192
 email = "mattgathu@gmail.com"
+zulip-id = 199635
diff --git a/people/matthieu-m.toml b/people/matthieu-m.toml
@@ -3,3 +3,4 @@ github = "matthieu-m"
 github-id = 2420441
 irc = "matthieum"
 email = "matthieu.monrocq@gmail.com"
+zulip-id = 681278
diff --git a/people/newAM.toml b/people/newAM.toml
@@ -2,3 +2,4 @@ name = 'Alex Martens'
 github = 'newAM'
 github-id = 7845120
 email = 'alex@thinglab.org'
+zulip-id = 719953
diff --git a/people/programmerjake.toml b/people/programmerjake.toml
@@ -2,3 +2,4 @@ name = 'Jacob Lifshay'
 github = 'programmerjake'
 github-id = 4584340
 email = 'programmerjake@gmail.com'
+zulip-id = 229517
diff --git a/people/retep998.toml b/people/retep998.toml
@@ -1,3 +1,4 @@
 name = 'Peter Atashian'
 github = 'retep998'
 github-id = 666308
+zulip-id = 125267
diff --git a/people/sebasmagri.toml b/people/sebasmagri.toml
@@ -3,3 +3,4 @@ github = "sebasmagri"
 github-id = 11137
 email = "sebasmagri@gmail.com"
 discord-id = 818556851112902657
+zulip-id = 138079
diff --git a/people/sirhcel.toml b/people/sirhcel.toml
@@ -2,3 +2,4 @@ name = "Christian Meusel"
 github = "sirhcel"
 github-id = 8770800
 email = "christian.meusel@posteo.de"
+zulip-id = 719907
diff --git a/people/spacekookie.toml b/people/spacekookie.toml
@@ -2,3 +2,4 @@ name = "Katharina Fey"
 github = "spacekookie"
 github-id = 7669898
 email = "kookie@spacekookie.de"
+zulip-id = 131358
diff --git a/people/stephenhines.toml b/people/stephenhines.toml
@@ -1,3 +1,4 @@
 name = 'Stephen Hines'
 github = 'stephenhines'
 github-id = 17790020
+zulip-id = 475207
diff --git a/people/sunfishcode.toml b/people/sunfishcode.toml
@@ -2,3 +2,4 @@ name = 'Dan Gohman'
 github = 'sunfishcode'
 github-id = 4503403
 email = 'dev@sunfishcode.online'
+zulip-id = 404395
diff --git a/people/vlad20012.toml b/people/vlad20012.toml
@@ -2,3 +2,4 @@ name = "Vlad Beskrovnyy"
 github = "vlad20012"
 github-id = 3221931
 email = "beskvlad@gmail.com"
+zulip-id = 200750
diff --git a/people/wezm.toml b/people/wezm.toml
@@ -2,3 +2,4 @@ name = "Wesley Moore"
 github = "wezm"
 github-id = 21787
 email = "wes@wezm.net"
+zulip-id = 199302
diff --git a/people/xiangzhai.toml b/people/xiangzhai.toml
@@ -2,3 +2,4 @@ name = 'ZHAI Xiang'
 github = 'xiangzhai'
 github-id = 851100
 email = 'zhaixiang@loongson.cn'
+zulip-id = 981981
diff --git a/people/xry111.toml b/people/xry111.toml
@@ -2,3 +2,4 @@ name = 'Xi Ruoyao'
 github = 'xry111'
 github-id = 8733039
 email = 'xry111@xry111.site'
+zulip-id = 981951

-Original file line number
+Diff line change
@@ @@ -1,4 +1,5 @@ @@
 name = "Kannan Palani"
 github = "KannanPalani57"
 github-id = 45064864
 -email = "[email protected]"
 +email = "[email protected]"
 +zulip-id = 982069