git branch -d the_local_branch
git push origin :the_remote_branch
git fetch -p
git branch -r --merged | grep origin | grep -v '>' | grep -v master | xargs -L1 | cut -d"/" -f2- | xargs git push origin --delete
git branch -d the_local_branch
git push origin :the_remote_branch
git fetch -p
git branch -r --merged | grep origin | grep -v '>' | grep -v master | xargs -L1 | cut -d"/" -f2- | xargs git push origin --delete