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
248897
[ews-build.webkit.org] Delete branches with 'main' in their name
https://bugs.webkit.org/show_bug.cgi?id=248897
Summary
[ews-build.webkit.org] Delete branches with 'main' in their name
Jonathan Bedard
Reported
2022-12-07 11:44:25 PST
We delete all branches that do not contain 'main' in their name, really, we should delete all branches except for 'main'. We can acheive this with some more clever grep invocations that look for whitespace surrounding 'main'.
Attachments
Add attachment
proposed patch, testcase, etc.
Jonathan Bedard
Comment 1
2022-12-07 11:53:28 PST
Pull request:
https://github.com/WebKit/WebKit/pull/7277
EWS
Comment 2
2022-12-07 15:12:16 PST
Committed
257512@main
(6cb8ac992759): <
https://commits.webkit.org/257512@main
> Reviewed commits have been landed. Closing PR #7277 and removing active labels.
Radar WebKit Bug Importer
Comment 3
2022-12-07 15:12:28 PST
<
rdar://problem/103091911
>
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