RESOLVED FIXED 239509
[ews-build.webkit.org] GitHub usernames are case insensitive
https://bugs.webkit.org/show_bug.cgi?id=239509
Summary [ews-build.webkit.org] GitHub usernames are case insensitive
Jonathan Bedard
Reported 2022-04-19 10:43:51 PDT
GitHub Usernames are case insensitive. So https://github.com/JonWBedard and https://github.com/jonwbedard are the same user.
Attachments
Radar WebKit Bug Importer
Comment 1 2022-04-19 10:44:04 PDT
Jonathan Bedard
Comment 2 2022-04-19 10:46:27 PDT
EWS
Comment 3 2022-04-19 13:32:33 PDT
Committed r293034 (249773@main): <https://commits.webkit.org/249773@main> Reviewed commits have been landed. Closing PR #319 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.