Testing #8434
I would like there to either be a setting which when I create a PR moves me to the main branch, makes sure the branch is available on the remote and then deletes the local branch. This could be part of the "githubPullRequests.deleteBranchAfterMerge" or "githubPullRequests.postCreate"" settings.