git push origin --delete <branch>
git branch -d <branch> # delete fully mnerged branch git branch -D <branch> # delete branch (even if not merged)