In the local repository I see the following picture:
| | * <branch_name> origin/<branch_name> | On the server (bitbakt) this branch is gone and long ago.
git push origin :<branch_name> logically gives out
remote ref doesn't exist How can I delete a local link to a non-existing branch already deleted?