Handle checkout failure when deleting pull request #1405
Description
- 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.