Bug 247620 - [git-webkit] Prune remotes when fetching
Summary: [git-webkit] Prune remotes when fetching
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: Other
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-11-08 07:43 PST by Jonathan Bedard
Modified: 2022-12-15 08:41 PST (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 2022-11-08 07:43:08 PST 
In practice, contributors very rarely prune remotes. I've encountered a few cases lately where this has been a problem. There are som root causes to address regarding the problems, but in general, tools should be pruning remotes when fetching.
Comment 1 Radar WebKit Bug Importer 2022-11-08 07:43:46 PST 
<rdar://problem/102090699>
Comment 2 Jonathan Bedard 2022-11-08 07:47:42 PST 
Pull request: https://github.com/WebKit/WebKit/pull/6252
Comment 3 EWS 2022-12-07 15:24:12 PST 
Committed 257514@main (bdb212d5fe62): <https://commits.webkit.org/257514@main>

Reviewed commits have been landed. Closing PR #6252 and removing active labels.
Comment 4 EWS 2022-12-15 08:41:40 PST 
Committed 252432.946@safari-7614-branch (4e7fe00052a8): <https://commits.webkit.org/252432.946@safari-7614-branch>

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