git fetch --prune origin
git branch --delete [branch-name]
git push origin --delete [branch-name]
How to Delete a Git Branch
9 June 2017
git fetch --prune origin
git branch --delete [branch-name]
git push origin --delete [branch-name]