Git: Remove local branch

git branch -d the_local_branch delete a local branch

git push origin --delete the_remote_branch [remove_the_local_branch] remove a remote branch

alternatively, git push origin :the_remote_branch [remove_the_local_branch]

Sean Feldman