Fix github username

c339d211 · José Henrique · c7d6ce80 · c339d211
Commit c339d211 authored Mar 16, 2021 by José Henrique
--- a/validator.py
+++ b/validator.py
@@ -114,7 +114,7 @@ def format_json():
    # Sanitize github_username
    for roles in [core, maintainers]:
        for member in roles:
-            member["github_username"] = sanitize_username(member["github_username"])
+            member["github_username"] = member["github_username"].lower()

    # Sanitize deprecated versions
    for roles in [core, maintainers]: