Bug 238818 - [Merge-Queue] Delete pull request branch
Summary: [Merge-Queue] Delete pull request branch
Status: RESOLVED WONTFIX
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-04-05 10:20 PDT by Jonathan Bedard
Modified: 2022-04-06 08:46 PDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jonathan Bedard 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.
Comment 1 Radar WebKit Bug Importer 2022-04-05 10:20:56 PDT 
<rdar://problem/91301707>
Comment 2 Jonathan Bedard 2022-04-05 10:25:01 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/246
Comment 3 Jonathan Bedard 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.