RESOLVED FIXED 237457
[git-webkit] Handle new PR with old branch name 
https://bugs.webkit.org/show_bug.cgi?id=237457
Summary [git-webkit] Handle new PR with old branch name
Jonathan Bedard
Reported 2022-03-03 18:07:30 PST
If a PR has a branch name used in a previous (now closed) PR, we shouldn't try and used the closed PR.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-03-03 18:07:57 PST
<rdar://problem/89788939>
Jonathan Bedard
Comment 2 2022-03-03 18:09:51 PST
Pull request: https://github.com/WebKit/WebKit/pull/189
Jonathan Bedard
Comment 3 2022-03-03 18:20:09 PST
Landed https://commits.webkit.org/248046@main (r290810)!
Note You need to log in before you can comment on or make changes to this bug.