git branch -d <branch_name>
git push <remote_name> --delete <branch_name>
git push -d origin <branch_name>
$ git branch -a # *master # b1 # remote/origin/master # remote/origin/b1 $ git push origin --delete b1 # [...] # - [deleted] b1