- Extension version: Remote - SSH v0.96.0
- VSCode Version: 1.76
- OS: Win
After merging a PR and deleting branches the default branch is checked out.
It'd be more inline with the user flow to check out the PR destination branch instead (
optionally with a message to pull the just merged commits)