Bug 254303 - [hooks/pre-push] Make our pre-push hook case insensitive
Summary: [hooks/pre-push] Make our pre-push hook case insensitive
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2023-03-22 17:18 PDT by Jonathan Bedard
Modified: 2024-03-13 09:16 PDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jonathan Bedard 2023-03-22 17:18:03 PDT 
GitHub remotes are case insensative, so our pre-push hook should be case insensative too.
Comment 1 Radar WebKit Bug Importer 2023-03-22 17:18:17 PDT 
<rdar://problem/107109166>
Comment 2 Jonathan Bedard 2023-03-22 17:19:48 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/11837
Comment 3 EWS 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.