git: Delete merged remote branches

git_delete_remote.sh

# First checkout master!

# First remove local remote tracking branches that no longer exist on remote
git remote prune origin

# Now remove remote branches that are merged in the currect branch (except `master`, `demo` and `rc)
git branch -r --merged |
grep origin |
grep -v '>' |
grep -v master |
grep -v rc |
grep -v demo |
xargs -L1 |
cut -d"/" -f2- |
xargs git push origin --delete

# List remaining builds
for branch in `git branch -r | grep -v HEAD`;do echo -e `git show --format="%ai %ar by %an" $branch | head -n 1` \\t$branch; done | sort -r