Tidying up your local and remote repository

Delete local branches that have been deleted on the remote