Bug 254303

Summary:	[hooks/pre-push] Make our pre-push hook case insensitive
Product:	WebKit	Reporter:	Jonathan Bedard <jbedard>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

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.