Clean up local branches deleted on a remote
cabal new-build
Copy the executable file to your PATH
git clean-branches
git clean-branches --fetch-upstream
git clean-branches --help
This tool can be implemented using following bash script
git branch --format '%(refname:short) %(upstream:track)' |\
grep gone |\
awk '{print $1}' |\
xargs -I f git branch -D f