git-deep-prune

git-deep-prune.sh

#!/bin/bash
# Script to loop on local and remote branches, to delete all those which are
# already merged in master.
# Assumes "origin" and "master" are your references: replace all occurrences
# of "origin" with the name of your personal remote.
#
# Careful with branches which should are meant as tags in the past!
#
# Inspired from http://devblog.springest.com/a-script-to-remove-old-git-branches
# Released under the WTFPL license version 2 http://sam.zoy.org/wtfpl/
# Copyright (c) 2012 Sanne Grinovero

# Prune stale references to remote, and fetch information on new branches:
git fetch --all --prune

# Delete local branches which are merged in master
git branch --merged master | grep -v 'master$' | xargs git branch -D

# Remove remote fully merged branches
git branch -r --merged master | grep "origin/" | grep -v "origin/master" | sed -e 's/\s*origin\///' | xargs -I% git push origin :%