RESOLVED FIXED247620
[git-webkit] Prune remotes when fetching 
https://bugs.webkit.org/show_bug.cgi?id=247620
Summary [git-webkit] Prune remotes when fetching
Jonathan Bedard
Reported 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.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-11-08 07:43:46 PST
<rdar://problem/102090699>
Jonathan Bedard
Comment 2 2022-11-08 07:47:42 PST
Pull request: https://github.com/WebKit/WebKit/pull/6252
EWS
Comment 3 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.
EWS
Comment 4 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.
Note You need to log in before you can comment on or make changes to this bug.