RESOLVED WONTFIX 238818
[Merge-Queue] Delete pull request branch 
https://bugs.webkit.org/show_bug.cgi?id=238818
Summary [Merge-Queue] Delete pull request branch
Jonathan Bedard
Reported 2022-04-05 10:20:42 PDT
To close a pull request, we need to delete the pull request branch on a user's remote.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-04-05 10:20:56 PDT
<rdar://problem/91301707>
Jonathan Bedard
Comment 2 2022-04-05 10:25:01 PDT
Pull request: https://github.com/WebKit/WebKit/pull/246
Jonathan Bedard
Comment 3 2022-04-06 08:46:23 PDT
This doesn't actually work, Commit-Queue doesn't have the permissions needed to delete branches on a user's remote.
Note You need to log in before you can comment on or make changes to this bug.