If someone deleted a remote branch, can I somehow pull out the same repository and also delete my local branch?
It would be nice if all the developers manually deleted the branch when they finished with the function.
The only thing you can do is:
git remote prune origin
And you cannot delete local branches that need to be deleted manually.
No, although you can search git remote prune.
git remote prune
( ) . , - , . ? , .