| Summary: | [git-webkit] Personal branch is "not a PR branch" | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Antoine Quint <graouts> |
| Component: | Tools / Tests | Assignee: | Jonathan Bedard <jbedard> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | jbedard, mcatanzaro, webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Bug Depends on: | |||
| Bug Blocks: | 239082 | ||
|
Description
Antoine Quint
2022-04-14 05:05:57 PDT
Pull request: https://github.com/WebKit/WebKit/pull/290 (In reply to Jonathan Bedard from comment #2) > Pull request: https://github.com/WebKit/WebKit/pull/290 This probably/mostly also fixes bug #239126, yes? (In reply to Michael Catanzaro from comment #3) > (In reply to Jonathan Bedard from comment #2) > > Pull request: https://github.com/WebKit/WebKit/pull/290 > > This probably/mostly also fixes bug #239126, yes? It won't change what we're encouraging you to do, but yes, it will mean we support most flavors of personally created branches. There is still the matter of EWS's pickiness regarding PRs from main branches, which we should continue to discuss in https://bugs.webkit.org/show_bug.cgi?id=239126. Committed r292890 (249660@main): <https://commits.webkit.org/249660@main> Reviewed commits have been landed. Closing PR #290 and removing active labels. |