Request for `>GitHub Pull Requests: Forget Pull Request`

When I create a pull request, my workflow is typically:

• Create a branch, feature/foo
• Do work
• Create a pull request associated with feature/foo
• Get a review from a colleague
• Look at the review on GitHub
• Merge the pull request from GitHub

This leaves my local state in an awkward scenario. I need to:

• Switch to main
• Pull main
• Delete my feature/foo branch

I can do this manually, but this is such a common workflow of mine that I feel like a command for this is somehow missing. In R, we've created a suite of PR related helpers for this and the relevant one is usethis::pr_finish(), which does these exact steps.

The closest I can seem to get is:

• >GitHub Pull Requests: Checkout Default Branch
• With "githubPullRequests.postDone": "checkoutDefaultBranchAndPull"

(I'm not even 100% sure that a pull occurs when you use the command, but I think it does)

This accomplishes the first 2 bullets, but not the 3rd, so I have to go delete feature/foo myself.

I think I am missing something like

>GitHub Pull Requests: Forget Pull Request

Which has the purpose of:

• Checkout the default branch (subject to githubPullRequests.postDone so I can make it also pull)
• Delete the current branch you switched from

I would use this all the time if it existed as a way to cleanup after a merge via the GitHub UI.

I am aware of "githubPullRequests.deleteBranchAfterMerge": true. I do not believe that solves my problem because I almost exclusively merge via the GitHub UI, and it only works if I merge via the Extension UI.

It's also worth noting that if I checkout someone else's PR to perform a review, then it mostly works as I expect.

• Checkout colleague PR feature/bar using the GitHub Pull Request extension
• Leave my review
• Click Checkout Default Branch (with "githubPullRequests.postDone": "checkoutDefaultBranchAndPull" set)
• This auto deletes feature/bar for me

This workflow is quite nice! I want something similar for finishing off my own PRs.

Here is a video of me doing that workflow, which I do like:

https://github.com/user-attachments/assets/ff6a07e6-7ae5-4d8b-a447-91d51c96b597

Start by tracing the existing Checkout Default Branch command and the githubPullRequests.postDone and githubPullRequests.deleteBranchAfterMerge settings. The feature is complete when a merged pull request can return to the default branch, apply the configured pull behavior, and delete the previously checked-out branch.