-
Bug
-
Resolution: Fixed
-
Medium
I forked from a repository, and then from the forked repository I created a branch called second, and did a Pull Request to merge with the original repository. Before merging, I checked on the line that says "close second after pull request is merged".
But after I merged with the original repository, the branch second is still not being deleted from the forked repository:
Edit by @tboudale : The destination branch may get deleted by this bug in the following scenario:
- Create a repo1 with branch develop. develop must not be the main branch.
- Create a fork of repo2.
- Create a PR from repo2/develop into repo1/develop.
- Merge the PR while also selecting "Close Source Branch"
- (BUG) The repo1/develop branch is deleted.
