#!/bin/bash
git checkout master |
git fetch origin |
git pull |
git branch -r --merged |
grep origin |
grep -v master |
xargs -L1 |
awk '{sub(/origin\//,"");print}' |
xargs git push origin --delete