| Summary: | webkit pr should have an option not to create a commit | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Matt Woodrow <mattwoodrow> |
| Component: | Tools / Tests | Assignee: | Matt Woodrow <mattwoodrow> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | jbedard, webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Bug Depends on: | |||
| Bug Blocks: | 239082 | ||
|
Description
Matt Woodrow
2022-10-11 19:08:22 PDT
Pull request: https://github.com/WebKit/WebKit/pull/5272 Committed 255495@main (72ad3b19fdd6): <https://commits.webkit.org/255495@main> Reviewed commits have been landed. Closing PR #5272 and removing active labels. Committed 252432.589@safari-7614-branch (8f84dd973596): <https://commits.webkit.org/252432.589@safari-7614-branch> Reviewed commits have been landed. Closing PR #140 and removing active labels. |