Git delete branch
# switch to another branch, so we can delete this one git checkout other_than_branch_to_be_deleted # deleting local branch git branch -D branch_to_be_deleted # deleting remote branch git push origin --delete branch_to_be_deleted