Bug 238818

Summary:	[Merge-Queue] Delete pull request branch
Product:	WebKit	Reporter:	Jonathan Bedard <jbedard>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED WONTFIX
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified
See Also:	https://bugs.webkit.org/show_bug.cgi?id=237368

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.