Merge pull request #1700 from dianqk/lowercase-dianqk

marcoieni · web-flow · commit 586aef44e362 · 2025-03-19T16:04:39.000+01:00
Lowercase `DianQK` to `dianqk`
diff --git a/people/dianqk.toml b/people/dianqk.toml
@@ -1,5 +1,5 @@
-name = 'DianQK'
-github = 'DianQK'
+name = 'dianqk'
+github = 'dianqk'
 github-id = 10829914
 email = 'dianqk@dianqk.net'
 zulip-id = 480980
diff --git a/teams/compiler.toml b/teams/compiler.toml
@@ -16,7 +16,7 @@ members = [
     { github = "compiler-errors", roles = ["compiler-maintainer"] },
     "cuviper",
     { github = "davidtwco", roles = ["compiler-maintainer"] },
-    "DianQK",
+    "dianqk",
     "durin42",
     "eholk",
     "est31",
diff --git a/teams/icebreakers-llvm.toml b/teams/icebreakers-llvm.toml
@@ -21,7 +21,7 @@ members = [
     "SiavoshZarrasvand",
     "vertexclique",
     "higuoxing",
-    "DianQK",
+    "dianqk",
 ]
 alumni = [
     "hanna-kruppe",
diff --git a/teams/wg-llvm.toml b/teams/wg-llvm.toml
@@ -8,7 +8,7 @@ members = [
     "nagisa",
     "nikic",
     "cuviper",
-    "DianQK",
+    "dianqk",
 ]
 alumni = []
 
diff --git a/teams/wg-mir-opt.toml b/teams/wg-mir-opt.toml
@@ -4,7 +4,7 @@ kind = "working-group"
 
 [people]
 leads = ["oli-obk"]
-members = ["oli-obk", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "JakobDegen", "DianQK"]
+members = ["oli-obk", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "JakobDegen", "dianqk"]
 alumni = ["spastorino"]
 
 [[github]]
