How to pull a branch deletion in git?

Question

If someone has deleted the remote branch, is there any way I can pull from the same repository, and get my local branch deleted as well?

It would be handy not to have all developers do the manual removal of a branch when we're done with a feature.

Answer 1

Only thing you can do is:

git remote prune origin

And you can't delete the local branches, which have to be manually deleted.