Bug 253327 - [git-webkit] Handle interupts while pushing
Summary: [git-webkit] Handle interupts while pushing
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-03 10:42 PST by Jonathan Bedard
Modified: 2023-03-14 09:40 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-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.