#!/bin/sh
#
# Delete all local branches that have been merged into HEAD. Stolen from
# our favorite @tekkub:
#
#   https://plus.google.com/115587336092124934674/posts/dXsagsvLakJ

git branch -d `git branch --merged | grep -v '^*' | grep -v 'master' | tr -d '\n'`