Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
After merge cleanup branch error suppresion
GitHub might also delete the branch, causing an error when trying to delete a branch that's gone. After merge make the branch cleanup command be best effort, with no error. Fixes:#53 commit-id:751827cf
- Loading branch information