RESOLVED FIXED 254303
[hooks/pre-push] Make our pre-push hook case insensitive 
https://bugs.webkit.org/show_bug.cgi?id=254303
Summary [hooks/pre-push] Make our pre-push hook case insensitive
Jonathan Bedard
Reported 2023-03-22 17:18:03 PDT
GitHub remotes are case insensative, so our pre-push hook should be case insensative too.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-03-22 17:18:17 PDT
<rdar://problem/107109166>
Jonathan Bedard
Comment 2 2023-03-22 17:19:48 PDT
Pull request: https://github.com/WebKit/WebKit/pull/11837
EWS
Comment 3 2024-03-13 09:16:39 PDT
Committed 276030@main (305fc1b1cf59): <https://commits.webkit.org/276030@main> Reviewed commits have been landed. Closing PR #11837 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.