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
Pull request: https://github.com/WebKit/WebKit/pull/6252 Committed 257514@main (bdb212d5fe62): <https://commits.webkit.org/257514@main> Reviewed commits have been landed. Closing PR #6252 and removing active labels. 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. |