Welkom bij Bandhosting.nl,
hosting en webdevelopment.

Delete all local git branches that do not exist on the origin server

You can delete all branches in one go with the next command:

git remote prune origin
git branch -vv | grep 'origin/.*: gone]' | awk '{print $1}' | xargs git branch -d