$ git fetch --prune
$ git branch -r --merged origin/master | grep -v origin/master | sed -e 's/origin\//:/' | xargs echo git push origin
すると削除用のコマンドが出力されるので、本当に削除しても大丈夫そうか、いちどコマンドを見て、コピペしつつ、実行してやる。
git fetch --prune
は、git branch -r
の結果が、remoteにあるoriginと同期されておらず、正しい結果にならないことがあるため。
git branch --remote
も1.8.0だとあるようだが、少しバージョンが低いと、--remoteがないようで、-rを使う方がポータビリティが高いようだ。