delete_branch.sh

#! /bin/bash                                                                                                                                                                                                       
                                                                                                         
git=/usr/local/bin/git                                                                                   
current_branch=`git name-rev --name-only HEAD`                                                           
                                                                                                         
if [ -z "$1" ]; then                                                                                     
  branch=$current_branch                                                                                 
else                                                                                                     
  branch=$1                                                                                              
fi                                                                                                       
                                                                                                         
if [ $current_branch = $branch ]; then                                                                   
  $git checkout master                                                                                   
fi                                                                                                       
                                                                                                         
$git branch -D $branch                                                                                   
$git push origin :$branch