remote local/remote merged branches

for branch in `git branch --merged | grep -v '*' | sed -e 's/^ *//g'`; do git push origin :$branch; git branch -d $branch; done