RESOLVED FIXED253327
[git-webkit] Handle interupts while pushing 
https://bugs.webkit.org/show_bug.cgi?id=253327
Summary [git-webkit] Handle interupts while pushing
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.