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]