summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-07-11 19:33:58 +0200
committerPietro Albini <pietro@pietroalbini.org>2019-07-13 21:13:54 +0200
commit474d58efe82228cafd02f025274eb411bbe0596a (patch)
tree23ea4544a6f97f91629a750ca5ff8656d469a328
parent6c69a5ee75f18ecaa8b5cb7a320ed2cde94fb711 (diff)
normalize miscapitalized github usernames
-rw-r--r--people/JohnCSimon.toml (renamed from people/johncsimon.toml)2
-rw-r--r--people/khionu.toml (renamed from people/Khionu.toml)2
-rw-r--r--teams/mods-discord.toml2
-rw-r--r--teams/wg-triage.toml2
4 files changed, 4 insertions, 4 deletions
diff --git a/people/johncsimon.toml b/people/JohnCSimon.toml
index a610cc2..d1cfef3 100644
--- a/people/johncsimon.toml
+++ b/people/JohnCSimon.toml
@@ -1,3 +1,3 @@
name = "John Simon"
-github = "johncsimon"
+github = "JohnCSimon"
email = "johncsimon@gmail.com"
diff --git a/people/Khionu.toml b/people/khionu.toml
index 42c1270..d66d105 100644
--- a/people/Khionu.toml
+++ b/people/khionu.toml
@@ -1,4 +1,4 @@
name = "Khionu Sybiern"
-github = "Khionu"
+github = "khionu"
email = "dev@khionu.net"
diff --git a/teams/mods-discord.toml b/teams/mods-discord.toml
index 185d574..333c03d 100644
--- a/teams/mods-discord.toml
+++ b/teams/mods-discord.toml
@@ -6,7 +6,7 @@ leads = []
members = [
"komaeda",
"Centril",
- "Khionu",
+ "khionu",
"sgrif",
"technetos",
"pietroalbini",
diff --git a/teams/wg-triage.toml b/teams/wg-triage.toml
index 9c21a4f..ec75f61 100644
--- a/teams/wg-triage.toml
+++ b/teams/wg-triage.toml
@@ -12,7 +12,7 @@ members = [
"Kixiron",
"joelpalmer",
"hdhoang",
- "johncsimon",
+ "JohnCSimon",
"edmilsonefs",
"rholderfield",
"ProgrammaticNajel",