You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 10, 2023. It is now read-only.
There are places where uppercase usernames cause issues (register-image in the ECR code, as one example)
It would be good to lowercase this as far up the chain as possible so we dont need to remember to do it downstream everywhere, as we might miss those or they might get removed by accident.
Expected Behaviour
github-event lowercases the event's owner
Current Behaviour
its done downstream in the various services.
Possible Solution
github-event lowercases the event's owner
The text was updated successfully, but these errors were encountered:
This would probably require a thorough look through the OFC code to work out where all of the usernames are, and which ones should be upper and lower, possibly look at a move to using the github user ID, but this would have much wider impact. (#314)
Currently there is nothing we are aware of that's broken due to this so its low priority.
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
There are places where uppercase usernames cause issues (register-image in the ECR code, as one example)
It would be good to lowercase this as far up the chain as possible so we dont need to remember to do it downstream everywhere, as we might miss those or they might get removed by accident.
Expected Behaviour
github-event lowercases the event's owner
Current Behaviour
its done downstream in the various services.
Possible Solution
github-event lowercases the event's owner
The text was updated successfully, but these errors were encountered: