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

Commencez par suivre la commande existante Checkout Default Branch ainsi que les paramètres githubPullRequests.postDone et githubPullRequests.deleteBranchAfterMerge. La fonctionnalité est terminée lorsqu’une pull request fusionnée peut revenir sur la branche par défaut, appliquer le comportement de pull configuré et supprimer la branche précédemment extraite.