Learn more about these different git repos.
Other Git URLs
19e7467
Add tests for deleting branch after merge Two scenarios are tested: * branch successfully deleted after merge * merge rejected by conflict does not delete branch