diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-11 19:33:58 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-13 21:13:54 +0200 |
commit | 474d58efe82228cafd02f025274eb411bbe0596a (patch) | |
tree | 23ea4544a6f97f91629a750ca5ff8656d469a328 /people | |
parent | 6c69a5ee75f18ecaa8b5cb7a320ed2cde94fb711 (diff) |
normalize miscapitalized github usernames
Diffstat (limited to 'people')
-rw-r--r-- | people/JohnCSimon.toml (renamed from people/johncsimon.toml) | 2 | ||||
-rw-r--r-- | people/khionu.toml (renamed from people/Khionu.toml) | 2 |
2 files changed, 2 insertions, 2 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" |