Branch auto delete does not work with merge queues

[benibenj]

Testing #8434

The setting "githubPullRequests.deleteBranchAfterMerge": true does not work with merge queues

[alexr00]

Discussed, and we should just delete the local branch when using merge queues.