Bug 247620

Summary:	[git-webkit] Prune remotes when fetching
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:	Other
Hardware:	Unspecified
OS:	Unspecified

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.