Details
-
Bug
-
Resolution: Unresolved
-
Medium
-
None
-
Severity 3 - Minor
-
1,175
-
12
-
Description
Issue Summary
Source branch is not deleted during automatic merge of a pull request with all the build checks passed
Steps to Reproduce
- Create a new branch and make some change
- Make a PR from the newly created branch to the master. enable "source branch deletion".
- Click on the merge button as soon as you create the PR, notice the information in the PR merge you get
- You will observe that Pull request gets merged as soon as the build on the PR become successful
Expected Results
After the pull request is merged, the source branch should get deleted.
Actual Results
The source branch shown in the list of Active Branches.
Workaround
Manually merge PR so that source branch gets deleted. In case of automatic merge, user need to delete the source branch manually.
Attachments
Issue Links
- mentioned in
-
Page Loading...