New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Handle checkout failure when deleting pull request #1405

Closed

RMacfarlane opened this issue Oct 24, 2019 · 0 comments · Fixed by #1416

Assignees

Labels

bug

Contributor

RMacfarlane commented Oct 24, 2019

Extension version: 0.12.0

Steps to Reproduce:

Check out a pull request
Make local changes to the workspace
Merge the PR
Use "Delete" button from the description page and check all boxes

Delete tries to switch branches and delete the old branch. This silently fails with a "DirtyWorkTree" error from git since there are local changes.

RMacfarlane added the bug label

JacksonKearl self-assigned this

JacksonKearl mentioned this issue

Better support for merging when in dirty state #1416

Merged

RMacfarlane closed this as completed in #1416

RMacfarlane pushed a commit that referenced this issue


          Better support for merging when in dirty state, fixes #1405

27fc484

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment