Details
-
Bug
-
Resolution: Fixed
-
Medium
Description
I have deleted multiple branches using git pull origin :name-of-branch. However, they are still displayed in the Branches view of the repository.
It is not possible to delete them using the web, because it will fail with Failed to delete name-of-branch.
These branches are ahead and behind the master at the same time.
My repository is vacuumlabs/Platforma + Fantasy.