Deleting merged branches with Git

gitcleanbranches.sh

#!/bin/bash

set -x

# Update the master branch.
git checkout master
git pull upstream master

# Synchronize the remote repository.
git push origin master

# Find all merged branches and delete them in the local and remote
# repositories.
for branch in `git branch --merged | grep -v '*' | tr -d ' '`
do
    git branch -d $branch
    git push origin :$branch
done