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

Jonathan Bedard

Reported 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.

Attachments
Add attachment proposed patch, testcase, etc.

Radar WebKit Bug Importer

Comment 1 2023-03-03 10:43:16 PST

<rdar://problem/106201813>

Jonathan Bedard

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

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

EWS

Comment 3 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.

EWS

Comment 4 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.

Note You need to log in before you can comment on or make changes to this bug.