Testing #8434 The setting `"githubPullRequests.deleteBranchAfterMerge": true` does not work with merge queues
Testing #8434
The setting
"githubPullRequests.deleteBranchAfterMerge": truedoes not work with merge queues