WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
ASSIGNED
245963
Reverting a commit using webkitbot should comment on corresponding PR as well
https://bugs.webkit.org/show_bug.cgi?id=245963
Summary
Reverting a commit using webkitbot should comment on corresponding PR as well
Aakash Jain
Reported
2022-10-03 06:21:01 PDT
Reverting a commit using webkitbot should comment on corresponding PR as well. e.g.:
https://github.com/WebKit/WebKit/pull/4796
was reverted using webkitbot in
https://bugs.webkit.org/show_bug.cgi?id=245911
, but the PR doesn't indicate that it was reverted. It would be good if a comment can be made in automated manner to indicate that.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-10-10 06:21:22 PDT
<
rdar://problem/100975735
>
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