Look up on the remote which branches have been deleted there and remove them from local.
git remote update origin --prune git branch -vvv | grep gone | cut -d' ' -f3 | xargs -I{} git branch -D '{}'
Adventures in Computer Programming – bakert@gmail.com
Look up on the remote which branches have been deleted there and remove them from local.
git remote update origin --prune git branch -vvv | grep gone | cut -d' ' -f3 | xargs -I{} git branch -D '{}'