• 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)