WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
NEW
239534
Auto-close GitHub bot for old PRs
https://bugs.webkit.org/show_bug.cgi?id=239534
Summary
Auto-close GitHub bot for old PRs
Yusuke Suzuki
Reported
2022-04-20 02:23:19 PDT
If PR gets very old, it is very unlikely it will be updated. Instead of closing manually, we should have a bot which automatically closes these PRs with message.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-04-27 02:24:12 PDT
<
rdar://problem/92386358
>
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