Bug 245423 - [git-webkit] Merged PRs are closed
Summary: [git-webkit] Merged PRs are closed
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: Other
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-09-20 06:13 PDT by Jonathan Bedard
Modified: 2022-09-21 15:03 PDT (History)
1 user (show)

See Also:

Attachments
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 Jonathan Bedard 2022-09-20 06:13:27 PDT 
GitHub differentiates between merged and closed PRs. Our tooling does not.
Comment 1 Radar WebKit Bug Importer 2022-09-20 06:14:40 PDT 
<rdar://problem/100169550>
Comment 2 Jonathan Bedard 2022-09-20 06:16:36 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/4527
Comment 3 EWS 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.
Comment 4 EWS 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.