Delete branch from both local and remote


git branch -d BRANCHNAME
git push origin --delete BRANCHNAME