OpenRailAssociation / github-org-manager

Manage a GitHub organization, its members, teams, repository permissions and more
Apache License 2.0
6 stars 2 forks source link

Usernames are case-sensitive #38

Closed mxmehl closed 2 months ago

mxmehl commented 2 months ago

Users should be treated without case-sensitivity. Currently, this leads to odd behaviour:

[2024-08-20 15:46:50] INFO: Adding user 'User1' to team 'XYZ' as member
[2024-08-20 15:46:52] INFO: Removing 'User1' from team 'XYZ' as they are not configured

In this example, the actual user name was User1 but they have been in the file as user1. So adding work, detecting whether they are configured not.