Details
-
Bug
-
Resolution: Duplicate
-
Medium
Description
The close source branch after a successful PR merged doesn't seem to work.
When I do that, the branch doesn't get delete. Here's the steps:
- Create a branch
- Make a change and submit a PR
- Merge the PR yourself and check the box to close the source branch.
Notice the branch still exists.