Bug 240508 - Merged commit is tied to wrong PR
Summary: Merged commit is tied to wrong PR
Status: RESOLVED WONTFIX
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords: InRadar
Depends on:
Blocks: 239082
  Show dependency tree / graph
 
Reported: 2022-05-16 23:14 PDT by Yusuke Suzuki
Modified: 2022-05-18 14:10 PDT (History)
2 users (show)

See Also:

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 an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Yusuke Suzuki 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.
Comment 1 Yusuke Suzuki 2022-05-16 23:14:28 PDT 
Created attachment 459482 [details]
Screenshot of linked wrong PR
Comment 2 Radar WebKit Bug Importer 2022-05-18 13:08:01 PDT 
<rdar://problem/93521986>
Comment 3 Jonathan Bedard 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.