Attempting to merge a PR sometimes closes the source branch without merging the PR.
The bug above occurs when there are conflicts in the PR.
However, we had a report where this occurred with a PR that had no conflicts -- the PR was not merged, but the source branch was closed.
"Close <source_branch> after the pull request is merged" option was checked in the PR.
Steps to Reproduce
Unable to reproduce