Delete remote branch

git branch -d BRANCHNAME

git push origin --delete BRANCHNAME