Bug 245423

Summary: [git-webkit] Merged PRs are closed
Product: WebKit Reporter: Jonathan Bedard <jbedard>
Component: Tools / TestsAssignee: Jonathan Bedard <jbedard>
Status: RESOLVED FIXED    
Severity: Normal CC: webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: Other   
Hardware: Unspecified   
OS: Unspecified   

Jonathan Bedard
Reported 2022-09-20 06:13:27 PDT
GitHub differentiates between merged and closed PRs. Our tooling does not.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-09-20 06:14:40 PDT
<rdar://problem/100169550>
Jonathan Bedard
Comment 2 2022-09-20 06:16:36 PDT
Pull request: https://github.com/WebKit/WebKit/pull/4527
EWS
Comment 3 2022-09-20 09:16:31 PDT
Committed 254677@main (8a4162f5ff04): <https://commits.webkit.org/254677@main> Reviewed commits have been landed. Closing PR #4527 and removing active labels.
EWS
Comment 4 2022-09-21 15:03:43 PDT
Committed 252432.456@safari-7614-branch (381eaaeb2486): <https://commits.webkit.org/252432.456@safari-7614-branch> Reviewed commits have been landed. Closing PR #79 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.