Clean up local branches after they are deleted on remote

prune.sh

# Look at what will get removed before taking action
git remote prune origin --dry-run

# Prune and delete those branches locally which were deleted on your remote repository
git fetch --prune
git branch -r | awk '{print $1}' | egrep -v -f /dev/fd/0 <(git branch -vv | grep origin) | awk '{print $1}' | xargs git branch -d