$ git branch -a # *master # b1 # remote/origin/master # remote/origin/b1 $ git push origin --delete b1 # [...] # - [deleted] b1