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:

1. Create a repo1 with branch develop. develop must not be the main branch.
2. Create a fork of repo2.
3. Create a PR from repo2/develop into repo1/develop.
4. Merge the PR while also selecting "Close Source Branch"
5. (BUG) The repo1/develop branch is deleted.