-
Notifications
You must be signed in to change notification settings - Fork 706
Open
Description
Refs #8357
Complexity: 2
Context
When a pull request is merged and the associated branch is automatically deleted, VS Code now shows a notification to inform the user about the deletion and, if applicable, that they have been switched to the default branch. The notification message varies depending on whether the local branch, remote branch, or both were deleted.
Setup
- Install the latest pre-release version of the GitHub Pull Requests extension
- Have PR that you're ready to merge (don't use auto merge)
Test Steps
- Open your repo with the PR that's ready in VS Code with the GitHub Pull Requests extension installed.
- Set
"githubPullRequests.deleteBranchAfterMerge": true - Check out the PR (either from the PRs view or using the "Checkout by number" command
- Merge the PR using the merge button in PR webview
- Verify that your local branch is deleted.