Rename a git branch

git-mv-branch.sh

#!/bin/bash
E_BADARGS=65
if [ $# -ne 2 ]; then
        echo "Usage: $0 {old_branch_name} {new_branch_name}"
        exit $E_BADARGS
fi

old_branch="$1"
new_branch="$2"

git branch -m "$old_branch" "$new_branch"           # Rename branch locally    
git push origin ":$old_branch"                      # Delete the old branch    
git push --set-upstream origin "$new_branch"        # Push the new branch, set local branch to track the new remote