Bug 235974
Summary: | [git-webkit] Handle local commit on production branch | ||
---|---|---|---|
Product: | WebKit | Reporter: | Jonathan Bedard <jbedard> |
Component: | Tools / Tests | Assignee: | Nobody <webkit-unassigned> |
Status: | RESOLVED FIXED | ||
Severity: | Normal | CC: | webkit-bug-importer |
Priority: | P2 | Keywords: | InRadar |
Version: | WebKit Nightly Build | ||
Hardware: | Unspecified | ||
OS: | Unspecified |
Jonathan Bedard
When using `git-webkit pr`, if a user has a local commit on a production branch that is not pushed to the remote, we could simply move the local ref for the production branch to wherever the remote ref is and use the local commit as the change to be uploaded. Right now, we raise an error because the PR branch doesn't have any differences to it's target branch.
Attachments | ||
---|---|---|
Add attachment proposed patch, testcase, etc. |
Radar WebKit Bug Importer
<rdar://problem/88346615>
Jonathan Bedard
Landed 247151@main (r289659)