RESOLVED WONTFIX 240508
Merged commit is tied to wrong PR 
https://bugs.webkit.org/show_bug.cgi?id=240508
Summary Merged commit is tied to wrong PR
Yusuke Suzuki
Reported 2022-05-16 23:14:03 PDT
Let's see https://github.com/WebKit/WebKit/commit/4ee336e7e2ab6d097624ea7ad3c451d262723570 This is PR https://github.com/WebKit/WebKit/pull/615 PR gets "Closed" by merge-queue instead of "Merged" and PR in the commit is linked to #608, which is different PR.
Attachments
Screenshot of linked wrong PR (41.84 KB, image/png)
2022-05-16 23:14 PDT, Yusuke Suzuki 		no flags
Details
View All Add attachment proposed patch, testcase, etc.
Yusuke Suzuki
Comment 1 2022-05-16 23:14:28 PDT
Created attachment 459482 [details] Screenshot of linked wrong PR
Radar WebKit Bug Importer
Comment 2 2022-05-18 13:08:01 PDT
<rdar://problem/93521986>
Jonathan Bedard
Comment 3 2022-05-18 14:10:35 PDT
This is a consequence of git-svn. Should be better once we no longer have to support subversion.
Note You need to log in before you can comment on or make changes to this bug.