github usernames are case insensitive

[lizthegrey]

https://github.com/benadida/helios-server/blob/master/helios_auth/auth_systems/github.py#L60-L66

it's fine to preserve the info exactly as pulled from GH but for comparison with voter rolls etc it should be okay for there to be discrepancies with the voter roll as uploaded as long as they differ only in case.

[dyladan]

I was just bit by this as well

[dyladan]

Maybe explaining the use case would help here:

I am administering the election for the OpenTelemetry Governance Committee. We generate the list of eligible voters by querying the CNCF devstats, which return github usernames normalized to lowercase. In our list of several hundred voters, i have no way of knowing which are supposed to have capital letters without querying the github API. Because GitHub does not allow multiple users to exist with usernames differing only in case, it should be safe to recognize when user ABC logs in, that they are the user abc in the voter roll.