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.