Bug 253327

Summary:	[git-webkit] Handle interupts while pushing
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-03 10:42:54 PST

It's quite common for contributors to interupt pushes, especially in a world where pushes are protected with a pre-push hook. git-webkit should more gracefully handle such interuptions.

Comment 1 Radar WebKit Bug Importer 2023-03-03 10:43:16 PST

<rdar://problem/106201813>

Comment 2 Jonathan Bedard 2023-03-03 10:45:45 PST

Pull request: https://github.com/WebKit/WebKit/pull/11009

Comment 3 EWS 2023-03-09 21:23:49 PST

Committed 261487@main (2ce712d55076): <https://commits.webkit.org/261487@main>

Reviewed commits have been landed. Closing PR #11009 and removing active labels.

Comment 4 EWS 2023-03-14 09:40:44 PDT

Committed 259548.412@safari-7615-branch (8331f8ec7522): <https://commits.webkit.org/259548.412@safari-7615-branch>

Reviewed commits have been landed. Closing PR #452 and removing active labels.