WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
273207
[webkitscmpy] Add merged flag to pull request
https://bugs.webkit.org/show_bug.cgi?id=273207
Summary
[webkitscmpy] Add merged flag to pull request
Jonathan Bedard
Reported
2024-04-24 12:25:38 PDT
Pull requests can be closed, but they can also be "merged", which is a special type of closed. There are a number of tools which would benefit from being able to distinguish between PRs which were closed vs actually landed.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2024-04-24 12:25:54 PDT
<
rdar://problem/127002247
>
Jonathan Bedard
Comment 2
2024-04-24 12:28:30 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/27706
EWS
Comment 3
2024-04-30 08:03:19 PDT
Committed
278165@main
(2b7d70e43797): <
https://commits.webkit.org/278165@main
> Reviewed commits have been landed. Closing PR #27706 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug