github usernames are case insensitive

Question

github usernames are case insensitive

lizthegrey opened this issue 2 years ago · comments

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.

Daniel Dyla · Answer 1 · Mon Oct 23 2023 23:02:25 GMT+0800 (China Standard Time)

I was just bit by this as well

Daniel Dyla · Answer 2 · Mon Oct 23 2023 23:05:45 GMT+0800 (China Standard Time)

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.