bash
git push origin --delete branch_name