It's maybe not very common, but it's totally possible for a remote branch to have a different name than the local branch. This test shows that we don't support this properly when deleting the remote branch.
It's maybe not very common, but it's totally possible for a remote branch to have a different name than the local branch. This test shows that we don't support this properly when deleting the remote branch.