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