Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 9, 2025

Thanks for assigning this issue to me. I'm starting to work on it and will keep this PR's description up to date as I form a plan and make progress.

Original prompt

This section details on the original issue you should resolve

<issue_title>Checkout PR target branch after merge/branch delete</issue_title>
<issue_description>- 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)</issue_description>

<agent_instructions>Add another two options to the postDone setting: checkoutPullRequestBaseBranch and checkoutPullRequestBaseBranchAndPull. Implement these options.</agent_instructions>

Comments on the Issue (you are @copilot in this section)


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Checkout PR target branch after merge/branch delete

2 participants