Prune all Local Branches not on Remote

Remove local Git branches that do not have corresponding remote branches.

Code

git branch -r | awk '{print $1}' | egrep -v -f /dev/fd/0 <(git branch -vv | grep origin) | awk '{print $1}' | xargs git branch -d